aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src
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 /reproduce/src
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.
Diffstat (limited to 'reproduce/src')
0 files changed, 0 insertions, 0 deletions