From 6172f5071e8d6e3a96f64ce1e5baec43daed1a34 Mon Sep 17 00:00:00 2001 From: core Date: Wed, 12 Apr 2023 18:51:26 -0400 Subject: [PATCH] fix spacetime builds in nested subdirectories pt2 --- spacetime | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spacetime b/spacetime index 3d808939965390d9d2918d1ea8fb8a51e05da5e3..d162bb9f907583b183f1d0a642eb1e348cd92e52 100755 --- a/spacetime +++ b/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" }