Fix tools (macos compat.)

2018-07-17 15:24:16 +02:00
parent 501ba88efc
commit 152f089148
2 changed files with 3 additions and 3 deletions
@@ -1,6 +1,6 @@
 #!/bin/bash
 set -e
-set -x
+
 _PWD=$PWD
 SPECS=$(find $PWD -name 'spec.json' | xargs -n1 dirname)
 for SPEC in $SPECS; do