diff options
| author | Matthieu Sozeau | 2018-12-13 21:34:32 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2018-12-13 21:34:32 +0100 |
| commit | 4e88b488230959ef82a3b1cd0bbf601078b33d04 (patch) | |
| tree | 9d49d8de45ce3957bb40a814c5bb97e67603109f | |
| parent | c5cd2cd4b2b50bb26aeb2b3ebe873c858df27efa (diff) | |
| parent | bd8adbb9e74b55fa3955fa6900c2e3d57c8f80a6 (diff) | |
Merge PR #9194: Fixing uses of sed in #8985 which do not work on MacOS X
| -rw-r--r-- | Makefile.build | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile.build b/Makefile.build index 0a73562467..34d7ce42f7 100644 --- a/Makefile.build +++ b/Makefile.build @@ -575,11 +575,11 @@ module Gramext = Gramlib__Gramext \ module Grammar = Gramlib__Grammar" > $@ gramlib/.pack/gramlib__P%: gramlib/p% | gramlib/.pack - cp -a $< $@ - sed -e "1i # 1 \"$<\"" -i $@ + printf '# 1 "%s"\n' $< > $@ + cat $< >> $@ gramlib/.pack/gramlib__G%: gramlib/g% | gramlib/.pack - cp -a $< $@ - sed -e "1i # 1 \"$<\"" -i $@ + printf '# 1 "%s"\n' $< > $@ + cat $< >> $@ # Specific rules for gramlib to pack it Dune / OCaml 4.08 style GRAMOBJS=$(addsuffix .cmo, $(GRAMFILES)) |