diff options
-rwxr-xr-x | tests/run-all | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/run-all b/tests/run-all index f298cb7..b5c5bb0 100755 --- a/tests/run-all +++ b/tests/run-all @@ -12,4 +12,4 @@ if [ $# != 0 ]; then fi set -x -exec make $jcpus -f tests/Makefile "$@" +exec make $jcpus -k -f tests/Makefile "$@" |