From ca9799666a277c861037d94fe2864e5af7a3b648 Mon Sep 17 00:00:00 2001
From: Bart Van Assche <bvanassche@acm.org>
Date: Mon, 19 Dec 2011 14:24:11 +0000
Subject: [PATCH] nightly/bin/nightly: Add command-line option -a

git-svn-id: http://svn.code.sf.net/p/scst/svn/trunk@4001 d57e44dd-8a1f-0410-8b47-8ef2f437770f
---
 nightly/bin/nightly | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/nightly/bin/nightly b/nightly/bin/nightly
index 682f00857..f66887e93 100755
--- a/nightly/bin/nightly
+++ b/nightly/bin/nightly
@@ -51,11 +51,13 @@ usage () {
 
 scst_svn_repo="https://scst.svn.sourceforge.net/svnroot/scst/trunk"
 sendmail_opts=""
+run_if_unchanged="false"
 
-set -- $(/usr/bin/getopt "hr:" "$@")
+set -- $(/usr/bin/getopt "ahr:" "$@")
 while [ "$1" != "${1#-}" ]
 do
   case "$1" in
+    '-a') run_if_unchanged=true; shift;;
     '-h') usage; exit 1;;
     '-r') sendmail_opts="$1 $2"; shift; shift;;
     '--') shift;;
@@ -109,7 +111,7 @@ fi
 
 svn_old_rev="`get_svn_revision ${svn_old_date}`"
 svn_new_rev="`get_svn_revision ${svn_new_date}`"
-if [ "${svn_old_rev}" = "${svn_new_rev}" ]; then
+if [ "${run_if_unchanged}" != "true" -a "${svn_old_rev}" = "${svn_new_rev}" ]; then
   echo "Both {$svn_old_date} and {$svn_new_date} correspond to r${svn_new_rev}"\
        "-- skipping nightly build." >unchanged.log
   exit 0