diff options
Diffstat (limited to 't/dejagnu4.sh')
| -rwxr-xr-x | t/dejagnu4.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/t/dejagnu4.sh b/t/dejagnu4.sh index 1c9479893..655218b1a 100755 --- a/t/dejagnu4.sh +++ b/t/dejagnu4.sh @@ -24,7 +24,7 @@ # previous tools, but at first glance "make check" has passed. required=runtest -. ./defs || Exit 1 +. ./defs || exit 1 cat > hammer << 'END' #! /bin/sh @@ -93,7 +93,7 @@ mv -f thammer hammer chmod +x hammer rm -f hammer.log hammer.sum spanner.log spanner.sum -$MAKE check && Exit 1 +$MAKE check && exit 1 test -f hammer.log test -f hammer.sum test -f spanner.log |