diff options
Diffstat (limited to 'scripts/make.sh')
-rwxr-xr-x | scripts/make.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/make.sh b/scripts/make.sh index 6c1672e3..f9fa0a40 100755 --- a/scripts/make.sh +++ b/scripts/make.sh @@ -73,7 +73,8 @@ function getglobals() -e "s/.*TOY($NAME"',[ \t]*"\([^"]*\)"[ \t]*,.*)/\1/' \ -e 't keep;d;:keep' -e 's/^[<>=][0-9]//' -e 's/[?&^]//' \ -e 't keep' -e 's/[><=][0-9][0-9]*//g' -e 's/+.//g' \ - -e 's/([^)]*)//g' -e 's/[-?^:&#|@*]//g' -e 'p')" + -e 's/([^)]*)//g' -e 's/\[[^]]*\]//g' -e 's/[-?^:&#|@*]//g' \ + -e 'p')" echo "#ifdef FOR_${NAME}" X=0 while [ $X -lt ${#FLAGS} ] |