diff options
Diffstat (limited to 'misc')
| -rwxr-xr-x | misc/debug | 4 | ||||
| -rwxr-xr-x | misc/metac_build (renamed from misc/build.sh) | 0 | ||||
| -rwxr-xr-x | misc/metac_debug | 4 |
3 files changed, 4 insertions, 4 deletions
diff --git a/misc/debug b/misc/debug deleted file mode 100755 index dde611e..0000000 --- a/misc/debug +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/sh - -ThisDir="$(dirname "$(readlink -f "$0")")" -setsid gf2 "$ThisDir"/../build/metac > /dev/null 2>&1 diff --git a/misc/build.sh b/misc/metac_build index 9618a66..9618a66 100755 --- a/misc/build.sh +++ b/misc/metac_build diff --git a/misc/metac_debug b/misc/metac_debug new file mode 100755 index 0000000..c1aff95 --- /dev/null +++ b/misc/metac_debug @@ -0,0 +1,4 @@ +#!/bin/sh + +ThisDir="$(dirname "$(readlink -f "$0")")" +setsid gf2 --args "$ThisDir"/../build/metac "$ThisDir"/../examples/table.c > /dev/null 2>&1 |