diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-05-15 17:51:55 +0200 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-05-15 17:52:57 +0200 |
commit | 146122a0ecc8b35263e9d4bfd968535e06456ad7 (patch) | |
tree | b44ee9a511bc942258fa8b0d846117200bd2c81d /reproduce/analysis/make/paper.mk | |
parent | 84935a7c76cde5071d87b77f2f7ce7c9f60f7f59 (diff) |
for-group script using internal chmod
Until now, the `for-group' script was using the system's `chmod' at the end
of its operation. But when `for-group' reaches this level, we already have
our own custom `chmod'.
With this commit, for a consistent operation, we are now using our custom
`chmod' program for this final step.
Diffstat (limited to 'reproduce/analysis/make/paper.mk')
0 files changed, 0 insertions, 0 deletions