debug output for setup.sh

ucsb-seclab · Aug 8, 2023 · da1552b · da1552b
1 parent 5ca5c3f
commit da1552b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/setup.sh b/setup.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -x
+
 if [ ! $VIRTUAL_ENV ]; then
  echo "${bold}${red}Can't install outside of a Python virtualenv${normal}"; exit 1
 fi
@@ -132,3 +134,5 @@ if [ ! -d $GREED_DIR/yices2_python_bindings ]; then
 fi
 
 pip install -e yices2_python_bindings
+
+set +x