diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-03-08 15:24:44 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-03-08 15:24:44 +0000 |
commit | 37b4551dc7cb394a76be1534a3c4de90bdb569c3 (patch) | |
tree | b56c5281562ef521afc1c8549bad315af81b05c5 /for-group | |
parent | 7904150cd1bb35d5e3e79ed1b6dfce789acb893b (diff) |
For-group script can allow to arguments to Make call
Until now the `./for-group' script would only add one argument to the Make
call, but in some situations, you need a second argument is well. With this
option, any possible fourth argument to `./for-group' is passed to Make.
Diffstat (limited to 'for-group')
-rwxr-xr-x | for-group | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -66,7 +66,7 @@ testfile=".reproducible-pipeline-group-test" if sg "$1" "echo test > $testfile"; then rm $testfile if [ "x$2" = xconfigure ]; then script="./configure" - elif [ "x$2" = xmake ]; then script=".local/bin/make $3" + elif [ "x$2" = xmake ]; then script=".local/bin/make $3 $4" else echo "$0: a third argument is necessary." echo "It specifies the action: either 'configure' or 'make'" |