From 259b08a5d216cc2bc709d8b8dd9adf391dc296d6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Manuel=20P=C3=A9gouri=C3=A9-Gonnard?=
 <manuel.pegourie-gonnard@arm.com>
Date: Fri, 8 Jan 2016 16:27:41 +0100
Subject: [PATCH] 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.
---
 tests/scripts/all.sh | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh
index 421adc344..9d3a38b63 100755
--- a/tests/scripts/all.sh
+++ b/tests/scripts/all.sh
@@ -21,12 +21,16 @@ CONFIG_H='include/mbedtls/config.h'
 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 @@ msg "test/build: ref-configs (ASan build)" # ~ 6 min 20s
 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