# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1624395832 -7200
# Node ID e6da95e33e43e2ee0be438bb49b7535978b08840
# Parent  a19894029b60bf305c88c0c12763c77ab354e939
Added the ability to specify make options when building the tests.

diff -r a19894029b60 -r e6da95e33e43 test_all.sh
--- a/test_all.sh	Tue Jun 22 22:49:47 2021 +0200
+++ b/test_all.sh	Tue Jun 22 23:03:52 2021 +0200
@@ -3,7 +3,7 @@
 # This tool runs the toolchain for each of the tests, optionally building and
 # running the test programs.
 #
-# Copyright (C) 2016, 2017 Paul Boddie <paul@boddie.org.uk>
+# Copyright (C) 2016, 2017, 2021 Paul Boddie <paul@boddie.org.uk>
 #
 # This program is free software; you can redistribute it and/or modify it under
 # the terms of the GNU General Public License as published by the Free Software
@@ -20,6 +20,8 @@
 
 PROGNAME=$0
 OPTION=$1
+shift 1
+MAKE_OPTIONS="$*"
 
 LPLC="./lplc"
 DATADIR="_main.lplc"
@@ -53,7 +55,7 @@
 
 if [ "$OPTION" = '--help' ] ; then
     cat 1>&2 <<EOF
-Usage: $0 [ --build | --build-only | --run-built ]
+Usage: $0 [ --build | --build-only | --run-built ] [ <make options> ]
 
 Run the toolchain over all tests in the tests directory.
 
@@ -87,6 +89,11 @@
 Build and output logs are stored in the _results directory with the .build and
 .out suffixes employed respectively, one of each kind for each generated
 program.
+
+The make options can be used to specify things like the number of processes
+employed to perform a build of each program. For example:
+
+$PROGNAME --build -j8
 EOF
     exit 1
 fi
@@ -193,7 +200,7 @@
 
         echo " (build)..." 1>&2
         if ! make -C "$DATADIR/_generated" clean > "$BUILDLOG" 2>&1 || \
-           ! make -C "$DATADIR/_generated" > "$BUILDLOG" 2>&1 ; then
+           ! make -C "$DATADIR/_generated" $MAKE_OPTIONS > "$BUILDLOG" 2>&1 ; then
             exit 1
         fi