test: remove duplicate shell options line

diff --git a/tests/testwrapper.sh b/tests/testwrapper.sh
index 6a7e666956c5b9405a1b9ab2879dd350eda0afec..72c36e80037f1b8c4f475c4dee6d424b5f25ba7a 100755 (executable)
--- 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