From 674db1ab2c041cae7f2fb00c31a6d4370f1e76d6 Mon Sep 17 00:00:00 2001 From: Anthony Young Date: Thu, 10 Nov 2011 14:46:52 -0800 Subject: [PATCH] fix usage for clean.sh --- tools/jenkins/jenkins_home/clean.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/jenkins/jenkins_home/clean.sh b/tools/jenkins/jenkins_home/clean.sh index 9d17f97..eb03022 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