From 2a4090b83bb65d1704833f695ffbb692b0e107d9 Mon Sep 17 00:00:00 2001
From: Daniel Carl <danielcarl@gmx.de>
Date: Tue, 25 Jun 2013 09:12:07 +0200
Subject: [PATCH] Changed js2h.sh to also remove spaces around '!' char.
This makes the hints.js.h file 6 bytes smaller, what a gain.
---
src/js2h.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/js2h.sh b/src/js2h.sh
index 174d413..95ff77a 100755
--- a/src/js2h.sh
+++ b/src/js2h.sh
@@ -6,8 +6,8 @@ cat $1 | \
tr '\n\r\t' ' ' | \
sed -e "s| \+| |g" \
-e "s|^//.*$||" \
- -e "s| \([-?<>:=(){};+\&\"',\|]\)|\1|g" \
- -e "s|\([-?<>:=(){};+\&\"',\|]\) |\1|g" \
+ -e "s| \([-!?<>:=(){};+\&\"',\|]\)|\1|g" \
+ -e "s|\([-!?<>:=(){};+\&\"',\|]\) |\1|g" \
-e 's|\\|\\\\|g' \
-e 's|"|\\"|g'
echo '"'
--
2.20.1