From 9c88406557b19ed348199c57b1f32b77c6fa3d8b Mon Sep 17 00:00:00 2001
From: msozeau
Date: Fri, 20 Mar 2009 16:27:51 +0000
Subject: Compatibility with Apple's non-gnu sed.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11997 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.build b/Makefile.build
index dd27cfcbdd..6ed452dce8 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -910,7 +910,7 @@ endif
 	$(HIDE)$(OCAMLYACC) $<
 
 %_mod.ml: %.mllib
-	sed -e "s/\([^ ]\+\)/let _=Mltop.add_known_module\"\1\" /g" $< > $@
+	sed -e "s/\([^ ]\{1,\}\)/let _=Mltop.add_known_module\"\1\" /g" $< > $@
 	echo "let _=Mltop.add_known_module\"$(notdir $*)\"" >> $@
 
 %.ml4-preprocessed: %.ml4 | %.ml4.d
-- 
cgit v1.2.3