Always rebuild in bqvec, even if there is no similar Makefile - otherwise we might end up with a stale build or none at all
1 files changed, 5 insertions(+), 0 deletions(-) M build/run-platform-tests.sh
M build/run-platform-tests.sh +5 -0
@@ 74,6 74,11 @@ for mf in build/Makefile.$platformtag bu ( cd ../bqvec ; run "" make -f "$mf" clean && run "" make -f "$mf" ) echo "Build in bqvec done" echo + else + echo "No similar Makefile exists in bqvec dir, building there using default Makefile first..." + ( cd ../bqvec ; run "" make clean && run "" make ) + echo "Build in bqvec done" + echo fi run "" make -f "$mf" clean