diff --git a/misc/tools-source/install_wrapper.sh b/misc/tools-source/install_wrapper.sh index 05a3a1c4c..a207f9635 100644 --- a/misc/tools-source/install_wrapper.sh +++ b/misc/tools-source/install_wrapper.sh @@ -43,7 +43,7 @@ while [ $# -gt 0 ]; do shift 1 ;; -s|--strip) - if [[ "$ROCKCFG_DEBUG" = 0 || $command != *install ]] + if [ "$ROCKCFG_DEBUG" = 0 -a "$STRIP" = "strip" ] || [[ $command != *install ]] then newcommand="$newcommand $1" fi