diff options
| author | Daniel Carl <danielcarl@gmx.de> | 2013-06-25 09:12:07 +0200 |
|---|---|---|
| committer | Daniel Carl <danielcarl@gmx.de> | 2013-06-25 09:12:07 +0200 |
| commit | 2a4090b83bb65d1704833f695ffbb692b0e107d9 (patch) | |
| tree | a61e6df21abb2fc10c12cddef2f70d898d96229b /src/js2h.sh | |
| parent | f381e32c9f56b71feba8b7cd2b97c6672a583fe3 (diff) | |
Changed js2h.sh to also remove spaces around '!' char.
This makes the hints.js.h file 6 bytes smaller, what a gain.
Diffstat (limited to 'src/js2h.sh')
| -rwxr-xr-x | src/js2h.sh | 4 |
1 files 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 '"' |