From bd8adbb9e74b55fa3955fa6900c2e3d57c8f80a6 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 11 Dec 2018 15:15:17 +0100
Subject: Fixing uses of sed which do not work on MacOS X.

This was introduced in PR #8985.
---
 Makefile.build | 8 ++++----
 1 file 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))
-- 
cgit v1.2.3