diff --git a/Tools/scripts/build_examples.sh b/Tools/scripts/build_examples.sh index b69a7b2502..10831d269d 100755 --- a/Tools/scripts/build_examples.sh +++ b/Tools/scripts/build_examples.sh @@ -6,6 +6,12 @@ set -e set -x +targets="clean all" + +[ $# -gt 0 ] && { + targets="$*" +} + export PATH=/usr/lib/ccache:$PATH TESTS=$(find libraries -name 'Makefile' | xargs -i dirname '{}') @@ -16,8 +22,7 @@ for b in $TESTS; do if [ -r nobuild.txt ]; then echo "Skipping build of $b" else - make clean - make + make $targets fi popd done