diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2017-06-18 17:04:48 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2017-06-18 17:04:48 -0400 |
| commit | e966c5ac810c7214b3f25c9f8ff7b965c0174f51 (patch) | |
| tree | c05daafea9845ad1ff46c61dc3a444b5fd7e21ad /etc/machine.sh | |
| parent | 6d375335db79c5a50a929e03f3a0be2578f6cf49 (diff) | |
sh portability fixes in "make c"
Diffstat (limited to 'etc/machine.sh')
0 files changed, 0 insertions, 0 deletions