Error after end of build

[jeckstei]

I did a fresh checkout and ran

bash scripts/build.sh -d true -g true

The build seemed to work, but it reports an error at the very end, which makes it looks like it failed:

[100%] Built target boosting
scripts/build.sh: line 54: cd: /home/jeckstei/REPR-RMA/Base/Boosting/scripts/external: No such file or directory
sh: 0: Can't open build_clp.sh
Using GUROBI_HOME specified in bahsrc
CMake Error: The source directory "/home/jeckstei/REPR-RMA/Base/Boosting/scripts" does not appear to contain CMakeLists.txt.
Specify --help for usage, or press the help button on the CMake GUI.
make: *** No targets specified and no makefile found. Stop.