diff --git a/tools/jenkins/jenkins_home/clean.sh b/tools/jenkins/jenkins_home/clean.sh index 9d17f97676..eb03022a93 100755 --- 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