aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src/make
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-04-08 21:10:50 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-04-08 21:10:50 +0100
commit7b369c861aff6eefb5b0c0530eeb9ab2e3053891 (patch)
tree5df48b46807829b731051388a0bae852324b89d7 /reproduce/src/make
parenta0f8a70679975f336c54fffd4c22c85c1660c80d (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