From c756df7ff14d332b1148cf4ff77be6df4a5b190f Mon Sep 17 00:00:00 2001
From: Arne Goedeke <el@laramies.com>
Date: Wed, 26 Feb 2014 18:34:59 +0100
Subject: [PATCH] printf is not portable
printf is not available on many unix like system (e.g. embedded ARM fan
controllers). cat with here-document should be even more widely
available. Thanks to Chris Angelico for proposing this solution.
---
bin/getwhitespace.sh | 11 +++++++----
1 file changed, 7 insertions(+), 4 deletions(-)
diff --git a/bin/getwhitespace.sh b/bin/getwhitespace.sh
index 4dd0490d0d..be8f0e2e21 100755
--- a/bin/getwhitespace.sh
+++ b/bin/getwhitespace.sh
@@ -1,14 +1,17 @@
#!/bin/sh
-printf "/* File generated on `date`
+cat <<END
+/* File generated on `date`
by getwhitespace <UnicodeData.txt */
#define SPACECASE8 \\
- case ' ':case '\\\\t':case '\\\\r':case '\\\\n':case '\\\\v':case '\\\\f': \\
+ case ' ':case '\\t':case '\\r':case '\\n':case '\\v':case '\\f': \\
case 0x85:case 0xa0:
-"
+END
-printf '#define SPACECASE16 SPACECASE8 '
+cat <<END
+#define SPACECASE16 SPACECASE8 \\
+END
sed -n -e '
s/^\([0-9A-Fa-f]*\);[^;]*;[^;]*;[^;]*;\([^;]*\);/\1 \2 /
/;INFORMATION SEPARATOR /d
--
GitLab