Add -s (short) option to all.sh
On my machine, that reduces running time from about 30 minutes to less than 10
minutes, while maintaining a good probability of catching the most likely
issues in practice.
diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh
index 421adc3..9d3a38b 100755
--- a/tests/scripts/all.sh
+++ b/tests/scripts/all.sh
@@ -21,12 +21,16 @@
CONFIG_BAK="$CONFIG_H.bak"
MEMORY=0
+SHORT=0
while [ $# -gt 0 ]; do
case "$1" in
-m*)
MEMORY=${1#-m}
;;
+ -s)
+ SHORT=1
+ ;;
*)
echo "Unknown argument: '$1'" >&2
echo "Use the source, Luke!" >&2
@@ -109,6 +113,11 @@
tests/scripts/test-ref-configs.pl
# Most frequent issues are likely to be caught at this point
+if [ $SHORT -eq 1 ]; then
+ msg "Done, cleaning up"
+ cleanup
+ exit 0
+fi
msg "build: with ASan (rebuild after ref-configs)" # ~ 1 min
make
