diff --git a/scripts/makefile_helper b/scripts/makefile_helper index dfcf40dd16..9184efffda 100755 --- a/scripts/makefile_helper +++ b/scripts/makefile_helper @@ -8,6 +8,11 @@ set -e # If config/options can't be sourced, abort. PWD isn't the expected ROOT. . config/options "" +if [ -z "${BUILD_BASE}" -o -z "${BUILD_ROOT}" ]; then + # make sure variables are set before running an rm + echo "error: ${0}: both BUILD_BASE and BUILD_ROOT must be set when running \"[clean|distclean]\"; aborting" + exit 1 +fi # task handling case $1 in --clean)