- # avoid accidentally removing way too much important stuff if our variables have not
- # been previously established.
- local GENERATED_DIR="$CLEANING_TOP/generated-feisty_meow"
-#*** hmmm: above is wrong place now!
- local TEMPORARIES_DIR="$CLEANING_TOP/temporaries"
+ # avoid accidentally removing important stuff if our variables have not been previously
+ # established.
+ if [ -z "$GENERATED_DIR" -o -z "$TEMPORARIES_DIR" ]; then
+ echo The build whacking script cannot run because either the GENERATED_DIR
+ echo variable or the TEMPORARIES_DIR variable have not been set. This makes
+ echo it unsafe to remove anything in the build products.
+ exit 1
+ fi