diff options
| author | Hugo Herbelin | 2018-12-11 15:15:17 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2018-12-13 20:40:43 +0100 |
| commit | bd8adbb9e74b55fa3955fa6900c2e3d57c8f80a6 (patch) | |
| tree | ce9c8f8a6ef7882d176f5b5ab1b3b7b332b4d33c | |
| parent | 97f5f37f782ffb9914fa8f67e745ba1effad20be (diff) | |
Fixing uses of sed which do not work on MacOS X.
This was introduced in PR #8985.
| -rw-r--r-- | Makefile.build | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile.build b/Makefile.build index ec9b81dba4..0bd199d37d 100644 --- a/Makefile.build +++ b/Makefile.build @@ -572,11 +572,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)) |