diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-07-28 15:17:17 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-07-28 15:17:17 +0100 |
| commit | da1123c78780b2f35a626fd694aff427e3e12892 (patch) | |
| tree | b83868b2c3529df8998ba940c331f88685159b66 /reproduce/analysis/config | |
| parent | 6ef4cc854d1df46b719de5d66b45537b0aa11f92 (diff) | |
Corrected typo in environment before running make
We recently moved the system's `rm' program absolute address to a shell
variable that is found during the `./project' script. But I had forgot to
account for the difference between the Make and Bash variable naming
differences. I had also forgot to add a value to the HOME variable.
With this commit both are corrected: the system's `rm' path is now called
`sys_rm' and the HOME variable is set.
Diffstat (limited to 'reproduce/analysis/config')
0 files changed, 0 insertions, 0 deletions