diff --git a/scripts/clean b/scripts/clean index 236f860276..9d78f73006 100755 --- a/scripts/clean +++ b/scripts/clean @@ -42,7 +42,7 @@ if [ ! -z "$1" ]; then rm -rf $i fi done - rm -f $STAMPS/$1*/build_* + rm -f $STAMPS/$1/build_* fi exit 0