From b6ecafa5533ff5147f459847db79bd62c4760d3c Mon Sep 17 00:00:00 2001 From: Daniel Carl Date: Sat, 13 May 2017 01:29:49 +0200 Subject: [PATCH] Remove also whitespace around *%/[. --- src/scripts/js2h.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/scripts/js2h.sh b/src/scripts/js2h.sh index 18aa586..81425fc 100755 --- a/src/scripts/js2h.sh +++ b/src/scripts/js2h.sh @@ -27,7 +27,7 @@ tr '\n\r' ' ' | \ sed -e 's:/\*[^*]*\*/::g' \ -e 's|[ ]\{2,\}| |g' \ -e 's|^ ||g' \ - -e "s|[ ]\{0,\}\([-!?<>:=(){};+\&\"',\|]\)[ ]\{0,\}|\1|g" \ + -e "s|[ ]\{0,\}\([-*[%/!?<>:=(){};+\&\"',\|]\)[ ]\{0,\}|\1|g" \ -e 's|"+"||g' | \ # ecaspe sed -e 's|\\x20| |g' \ -- 2.20.1