From: Ron Koenderink Date: Sat, 16 Feb 2008 17:15:10 +0000 (-0600) Subject: Added Remove_Repository to supported command list X-Git-Tag: v4.3.12~179 X-Git-Url: http://git.pond.sub.org/?p=empserver;a=commitdiff_plain;h=13cca55a9da7f9f7fc99b9c40b372f6ef79e6edb 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. --- diff --git a/src/scripts/nightly/nightlybuild.sh b/src/scripts/nightly/nightlybuild.sh index b73951b87..bfbf9aa2c 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"