diff options
Diffstat (limited to 'tests/test-yydecl-gen.sh')
-rwxr-xr-x | tests/test-yydecl-gen.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/test-yydecl-gen.sh b/tests/test-yydecl-gen.sh index 17854f5..a2624d8 100755 --- a/tests/test-yydecl-gen.sh +++ b/tests/test-yydecl-gen.sh @@ -6,8 +6,8 @@ FLEX="$2" cat <<EOF_OUTER #! /bin/sh # Test %yydecl option of flex on ${backend} backend. -echo 'set -evx' -set -evx +echo 'set -eu' +set -eu trap 'rm /tmp/td\$\$' EXIT HUP INT QUIT TERM |