diff options
| author | Alastair Reid | 2018-04-18 14:33:25 +0100 |
|---|---|---|
| committer | Alastair Reid | 2018-04-18 14:36:29 +0100 |
| commit | 79d804ce42de94174a40d605466d0dde9434e8e0 (patch) | |
| tree | d8156e5c5ebaca75d1a15d32907666900ad8884f /src/c_backend.ml | |
| parent | d2e1042f01099e11e04cbfe9529c32db41363e1a (diff) | |
Port to Mac: BSD sed != GNU sed
For GNU sed, the extension is optional in
sed -i ...
But in BSD sed, the extension is mandatory
sed -i .bak ...
Diffstat (limited to 'src/c_backend.ml')
0 files changed, 0 insertions, 0 deletions