diff options
author | Explorer09 <explorer09@gmail.com> | 2017-06-04 12:06:20 +0800 |
---|---|---|
committer | Will Estes <westes575@gmail.com> | 2017-06-04 16:15:23 -0400 |
commit | b4735d6925d7864710421da1bd2707bb1bba43f3 (patch) | |
tree | 75a081dd8cbef2684f613b14f8e1f71ec4ac7f41 | |
parent | 71b9c0cedcbb63f9a570687b977d8b00558920ad (diff) |
test: echo 'set -v' before setting so in shell.
-rwxr-xr-x | tests/testwrapper-direct.sh | 2 | ||||
-rwxr-xr-x | tests/testwrapper.sh | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/tests/testwrapper-direct.sh b/tests/testwrapper-direct.sh index 589ad33..9160501 100755 --- a/tests/testwrapper-direct.sh +++ b/tests/testwrapper-direct.sh @@ -1,5 +1,5 @@ #!/bin/sh -set -vx +echo 'set -euvx' set -euvx # testwrapper-direct.sh: run some specialized flex tests that care where diff --git a/tests/testwrapper.sh b/tests/testwrapper.sh index 72c36e8..293f8cc 100755 --- a/tests/testwrapper.sh +++ b/tests/testwrapper.sh @@ -1,4 +1,5 @@ #!/bin/sh +echo 'set -euvx' set -euvx # testwrapper.sh: run a flex test, typically called by a Makefile |