fix script to delete build dir

This commit is contained in:
Eric House 2024-02-09 14:53:43 -08:00
parent 49ade38aca
commit 5adedac314

View file

@ -47,7 +47,7 @@ else
fi fi
popd popd
if [ -s "${NO_RM}" ]; then if [ -z "${NO_RM}" ]; then
rm -rf $DIR rm -rf $DIR
else else
echo "not removing: $DIR" echo "not removing: $DIR"