tree 0a502f513bf9b533017bcb5a611351e87edf7033
parent 5315f90408c0bba850fcbd6c5f13c68206bbf52c
author Luca Milanesio <luca.milanesio@gmail.com> 1560762476 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1560762479 +0100

Fix setup.sh script and use bazel-bin directory

Bazel 0.25.0 uses bazel-bin instead of bazel-genfiles for outputs.
Replace the last occurences in the setup.sh which were lost during
the merge Change-Id: I38b92024c2

Change-Id: I600c4d7c21059c4fd3f6fcff607596e2b149fe7e