diff options
Diffstat (limited to 'subx/drun')
-rwxr-xr-x | subx/drun | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/subx/drun b/subx/drun index 9e802c31..87092a9d 100755 --- a/subx/drun +++ b/subx/drun @@ -9,9 +9,9 @@ fi if [[ $1 == 'ex'* ]] then - CFLAGS=-g ./subx --map --dump run examples/$* 2>x + CFLAGS=-g ./subx --map --trace run examples/$* 2>x exit $? fi -CFLAGS=-g ./subx --map --dump run apps/$* 2>x +CFLAGS=-g ./subx --map --trace run apps/$* 2>x exit $? |