# HG changeset patch
# User Chris Cannam
# Date 1635159453 -3600
#      Mon Oct 25 11:57:33 2021 +0100
# Node ID ea0f090deecce27385337fa43ac9a8331bb8c1bd
# Parent  b4bd594db16971d0be186fc74af8b78b8425f8ec
Always rebuild in bqvec, even if there is no similar Makefile - otherwise we might end up with a stale build or none at all

diff --git a/build/run-platform-tests.sh b/build/run-platform-tests.sh
--- a/build/run-platform-tests.sh
+++ b/build/run-platform-tests.sh
@@ -74,6 +74,11 @@
 	( 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