diff --git a/tools/commit-tests.sh b/tools/commit-tests.sh index 81987b068..cad89d6fe 100755 --- a/tools/commit-tests.sh +++ b/tools/commit-tests.sh @@ -90,3 +90,4 @@ make -j2 simu rm -rf * cmake ${COMMON_OPTIONS} ${SRCDIR} make -j2 +