diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-08 21:10:50 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-08 21:10:50 +0100 |
| commit | 7b369c861aff6eefb5b0c0530eeb9ab2e3053891 (patch) | |
| tree | 5df48b46807829b731051388a0bae852324b89d7 /reproduce/src/make | |
| parent | a0f8a70679975f336c54fffd4c22c85c1660c80d (diff) | |
for-group: Options passed to configure or make
Until now, the `for-group' script could only two options to Make and didn't
pass anything to `./configure'. With this commit, any thing given after the
first two tokens to `for-group' is passed directly to `./configure' or
Make.
Also, the test for the existance of the group has been modified to avoid
making a temporary file.
Diffstat (limited to 'reproduce/src/make')
0 files changed, 0 insertions, 0 deletions