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 | |
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.
-rw-r--r-- | .file-metadata | bin | 3956 -> 3956 bytes | |||
-rwxr-xr-x | for-group | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/.file-metadata b/.file-metadata Binary files differindex 00ab153..e1db277 100644 --- a/.file-metadata +++ b/.file-metadata @@ -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'" |