fix usage for clean.sh

13 years ago · 674db1ab2c
parent 305e3f5524
commit 674db1ab2c
1 changed files with 1 additions and 1 deletions
--- a/tools/jenkins/jenkins_home/clean.sh
+++ b/tools/jenkins/jenkins_home/clean.sh
@ -4,7 +4,7 @@
 set -o errexit

 if [ ! "$FORCE" = "yes" ]; then
-    echo "FORCE not set to 1.  Make sure this is something you really want to do.  Exiting."
+    echo "FORCE not set to 'yes'.  Make sure this is something you really want to do.  Exiting."
    exit 1
 fi