aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-03-08 15:24:44 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-03-08 15:24:44 +0000
commit37b4551dc7cb394a76be1534a3c4de90bdb569c3 (patch)
treeb56c5281562ef521afc1c8549bad315af81b05c5
parent7904150cd1bb35d5e3e79ed1b6dfce789acb893b (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-metadatabin3956 -> 3956 bytes
-rwxr-xr-xfor-group2
2 files changed, 1 insertions, 1 deletions
diff --git a/.file-metadata b/.file-metadata
index 00ab153..e1db277 100644
--- a/.file-metadata
+++ b/.file-metadata
Binary files differ
diff --git a/for-group b/for-group
index 4ada15f..7aaf206 100755
--- a/for-group
+++ b/for-group
@@ -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'"