1 files changed, 1 insertions(+), 1 deletions(-)

M spacetime

@@ 7,7 7,7 @@ SCRIPT_DIR=$(dirname "$SCRIPT_PATH")
 
 exec_spacetime() {
   # args: target, environment, build root, verbose?
-  echo "[*] Running configure command: 'python3 $SCRIPT_DIR/spacetime_py/spacetime.py $1 $2 $SCRIPT_DIR'"
+  echo "[*] Running configure command: 'python3 $SCRIPT_DIR/spacetime_py/spacetime.py $1 $2 $SCRIPT_DIR $SPACETIME_VERBOSE'"
   python3 "$SCRIPT_DIR/spacetime_py/spacetime.py" "$1" "$2" "$SCRIPT_DIR" "$SPACETIME_VERBOSE"
 }