diff options
author | Manoj Srivastava <srivasta@debian.org> | 2018-02-12 11:03:58 -0800 |
---|---|---|
committer | Manoj Srivastava <srivasta@debian.org> | 2018-02-12 11:03:58 -0800 |
commit | 5f64e38979e363319990d837d0b4b5df82b71cca (patch) | |
tree | e9e60b658648d29136146d6021c3934d376a374c /tests/testwrapper.sh | |
parent | 8852aa3f8eefeee4da27de0553b1653253b15619 (diff) | |
parent | 04687c439c4e99abd0bc29506ceaa293a6330d9c (diff) |
Merge branch 'upstream'
Diffstat (limited to 'tests/testwrapper.sh')
-rwxr-xr-x | tests/testwrapper.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/testwrapper.sh b/tests/testwrapper.sh index 6a7e666..293f8cc 100755 --- a/tests/testwrapper.sh +++ b/tests/testwrapper.sh @@ -1,5 +1,5 @@ #!/bin/sh -set -vx +echo 'set -euvx' set -euvx # testwrapper.sh: run a flex test, typically called by a Makefile |