From 13cca55a9da7f9f7fc99b9c40b372f6ef79e6edb Mon Sep 17 00:00:00 2001 From: Ron Koenderink Date: Sat, 16 Feb 2008 11:15:10 -0600 Subject: [PATCH] Added Remove_Repository to supported command list This feature was added in commit 70c03561bb90 but was not added to the list of supported commands at the top of file. No functional change just a documentation correction. --- src/scripts/nightly/nightlybuild.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/src/scripts/nightly/nightlybuild.sh b/src/scripts/nightly/nightlybuild.sh index b73951b8..bfbf9aa2 100755 --- a/src/scripts/nightly/nightlybuild.sh +++ b/src/scripts/nightly/nightlybuild.sh @@ -15,6 +15,7 @@ # TESTSCRIPT - Run the testscript # SERVERSTOP - Stop the server if it was started by this script # CLEANUP - Remove the contents of the sandbox +# REMOVE_REPOSITORY Removes the git repository when cleaning up # PROGNAME="$0"