diff options
Diffstat (limited to 'subx')
| -rwxr-xr-x | subx/build_and_test_until | 1 | ||||
| -rwxr-xr-x | subx/clean | 1 | ||||
| -rwxr-xr-x | subx/subx | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/subx/build_and_test_until b/subx/build_and_test_until index 25daac2d..874d1254 100755 --- a/subx/build_and_test_until +++ b/subx/build_and_test_until @@ -1,4 +1,5 @@ #!/bin/sh +set -e ./clean top-level # ignore subsidiary tools like tangle and cleave ./build --until $1 && ./subx_bin test diff --git a/subx/clean b/subx/clean index 5243f243..6ee90a9c 100755 --- a/subx/clean +++ b/subx/clean @@ -1,4 +1,5 @@ #!/bin/sh +set -e set -v rm -rf subx.cc subx_bin* *_list diff --git a/subx/subx b/subx/subx index 5d7a237c..257e2f13 100755 --- a/subx/subx +++ b/subx/subx @@ -1,4 +1,5 @@ #!/bin/sh # Run SubX VM, first compiling if necessary. +set -e ./build && ./subx_bin "$@" |