Changed js2h.sh to also remove spaces around '!' char.
authorDaniel Carl <danielcarl@gmx.de>
Tue, 25 Jun 2013 07:12:07 +0000 (09:12 +0200)
committerDaniel Carl <danielcarl@gmx.de>
Tue, 25 Jun 2013 07:12:07 +0000 (09:12 +0200)
This makes the hints.js.h file 6 bytes smaller, what a gain.

src/js2h.sh

index 174d413..95ff77a 100755 (executable)
@@ -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 '"'