1.1 --- a/test_all.sh Tue Jun 22 22:49:47 2021 +0200
1.2 +++ b/test_all.sh Tue Jun 22 23:03:52 2021 +0200
1.3 @@ -3,7 +3,7 @@
1.4 # This tool runs the toolchain for each of the tests, optionally building and
1.5 # running the test programs.
1.6 #
1.7 -# Copyright (C) 2016, 2017 Paul Boddie <paul@boddie.org.uk>
1.8 +# Copyright (C) 2016, 2017, 2021 Paul Boddie <paul@boddie.org.uk>
1.9 #
1.10 # This program is free software; you can redistribute it and/or modify it under
1.11 # the terms of the GNU General Public License as published by the Free Software
1.12 @@ -20,6 +20,8 @@
1.13
1.14 PROGNAME=$0
1.15 OPTION=$1
1.16 +shift 1
1.17 +MAKE_OPTIONS="$*"
1.18
1.19 LPLC="./lplc"
1.20 DATADIR="_main.lplc"
1.21 @@ -53,7 +55,7 @@
1.22
1.23 if [ "$OPTION" = '--help' ] ; then
1.24 cat 1>&2 <<EOF
1.25 -Usage: $0 [ --build | --build-only | --run-built ]
1.26 +Usage: $0 [ --build | --build-only | --run-built ] [ <make options> ]
1.27
1.28 Run the toolchain over all tests in the tests directory.
1.29
1.30 @@ -87,6 +89,11 @@
1.31 Build and output logs are stored in the _results directory with the .build and
1.32 .out suffixes employed respectively, one of each kind for each generated
1.33 program.
1.34 +
1.35 +The make options can be used to specify things like the number of processes
1.36 +employed to perform a build of each program. For example:
1.37 +
1.38 +$PROGNAME --build -j8
1.39 EOF
1.40 exit 1
1.41 fi
1.42 @@ -193,7 +200,7 @@
1.43
1.44 echo " (build)..." 1>&2
1.45 if ! make -C "$DATADIR/_generated" clean > "$BUILDLOG" 2>&1 || \
1.46 - ! make -C "$DATADIR/_generated" > "$BUILDLOG" 2>&1 ; then
1.47 + ! make -C "$DATADIR/_generated" $MAKE_OPTIONS > "$BUILDLOG" 2>&1 ; then
1.48 exit 1
1.49 fi
1.50