From 7a66678ab27762b0b3443e86320365cf1a21744d Mon Sep 17 00:00:00 2001 From: wh Date: Mon, 28 Jun 2021 20:33:51 +0800 Subject: [PATCH] Fix install-params.sh "popd: directory stack empty". --- params/install-params.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/params/install-params.sh b/params/install-params.sh index c299088d94e67..c7c5380d4b041 100755 --- a/params/install-params.sh +++ b/params/install-params.sh @@ -133,7 +133,10 @@ EOF install_params "$SAPLING_SPEND_NAME" "$PARAMS_DIR/$SAPLING_SPEND_NAME" "8e48ffd23abb3a5fd9c5589204f32d9c31285a04b78096ba40a79b75677efc13" install_params "$SAPLING_OUTPUT_NAME" "$PARAMS_DIR/$SAPLING_OUTPUT_NAME" "2f0ebbcbb9bb0bcffe95a397e7eba89c29eb4dde6191c339db88570e3f3fb0e4" - popd + if [ -d ".git" ] || [ -f autogen.sh ] + then + popd + fi } main