diff options
Diffstat (limited to 'misc')
| -rwxr-xr-x | misc/build.sh | 4 | ||||
| -rwxr-xr-x | misc/debug | 3 |
2 files changed, 5 insertions, 2 deletions
diff --git a/misc/build.sh b/misc/build.sh index f477a40..9618a66 100755 --- a/misc/build.sh +++ b/misc/build.sh @@ -4,4 +4,6 @@ set -ex ThisDirectory="$(dirname "$(readlink -f "$0")")" -gcc -ggdb -Wall -o "$ThisDirectory"/../build/metac "$ThisDirectory"/../source/meta.c +gcc -ggdb \ + -Wall -Wno-unused-but-set-variable -Wno-unused-variable \ + -o "$ThisDirectory"/../build/metac "$ThisDirectory"/../source/meta.c @@ -1,3 +1,4 @@ #!/bin/sh -setsid gf2 ./meta > /dev/null 2>&1 +ThisDir="$(dirname "$(readlink -f "$0")")" +setsid gf2 "$ThisDir"/../build/metac > /dev/null 2>&1 |