diff options
author | Will Estes <westes575@gmail.com> | 2017-05-26 11:21:16 -0400 |
---|---|---|
committer | Will Estes <westes575@gmail.com> | 2017-05-26 11:21:16 -0400 |
commit | 2c0152a0c33061c63c928279e9bfcf496e1178a1 (patch) | |
tree | ca28de2a913a73effe045717a2e81d40384d91b9 /tests | |
parent | 1f3db3aeb311b58d50e5a9eb0e3e78f271255bb0 (diff) |
test: remove duplicate shell options line
Diffstat (limited to 'tests')
-rwxr-xr-x | tests/testwrapper.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tests/testwrapper.sh b/tests/testwrapper.sh index 6a7e666..72c36e8 100755 --- a/tests/testwrapper.sh +++ b/tests/testwrapper.sh @@ -1,5 +1,4 @@ #!/bin/sh -set -vx set -euvx # testwrapper.sh: run a flex test, typically called by a Makefile |