From f85ac5c25d9dbefed72dda18c1d56e2391668c58 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Tue, 4 Mar 2008 13:06:43 +0000
Subject: Probleme echo -ne sur MacOS 10.5

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@548 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cil.patch/Makefile.in.patch | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 cil.patch/Makefile.in.patch

diff --git a/cil.patch/Makefile.in.patch b/cil.patch/Makefile.in.patch
new file mode 100644
index 00000000..560d51e0
--- /dev/null
+++ b/cil.patch/Makefile.in.patch
@@ -0,0 +1,14 @@
+--- ../cil/Makefile.in.orig	2006-05-21 06:14:15.000000000 +0200
++++ ../cil/Makefile.in	2008-03-04 14:04:21.000000000 +0100
+@@ -243,9 +243,9 @@
+ 	echo "   Zrapp.feature;" >> $@  
+ endif
+ # Now the extra features, with the first letter capitalized
+-	echo -ne \
++	echo \
+           $(foreach f,@EXTRAFEATURES@, \
+-             `echo $f | cut -c 1 | tr "[a-z]" "[A-Z]"``echo $f | cut -c 2-`".feature;\n") >> $@
++             `echo $f | cut -c 1 | tr "[a-z]" "[A-Z]"``echo $f | cut -c 2-`".feature;") >> $@
+ 	echo "]"   >>$@ 
+ # Must delete main.d and remake it, because it may have been made
+ # before feature_config existed.
-- 
cgit