diff options
Diffstat (limited to 'misc')
| -rwxr-xr-x | misc/build.sh | 7 | ||||
| -rwxr-xr-x | misc/debug | 3 |
2 files changed, 10 insertions, 0 deletions
diff --git a/misc/build.sh b/misc/build.sh new file mode 100755 index 0000000..f477a40 --- /dev/null +++ b/misc/build.sh @@ -0,0 +1,7 @@ +#!/bin/sh + +set -ex + +ThisDirectory="$(dirname "$(readlink -f "$0")")" + +gcc -ggdb -Wall -o "$ThisDirectory"/../build/metac "$ThisDirectory"/../source/meta.c diff --git a/misc/debug b/misc/debug new file mode 100755 index 0000000..6990914 --- /dev/null +++ b/misc/debug @@ -0,0 +1,3 @@ +#!/bin/sh + +setsid gf2 ./meta > /dev/null 2>&1 |