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 /reproduce/src/make/paper.mk | |
| 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 'reproduce/src/make/paper.mk')
0 files changed, 0 insertions, 0 deletions