Added Remove_Repository to supported command list
authorRon Koenderink <rkoenderink@yahoo.ca>
Sat, 16 Feb 2008 17:15:10 +0000 (11:15 -0600)
committerRon Koenderink <rkoenderink@yahoo.ca>
Sat, 16 Feb 2008 17:15:10 +0000 (11:15 -0600)
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

index b73951b876547e98aeecfac119acd06e9e2f7433..bfbf9aa2c4e346fee2a0dd3d540f7dbdb9c3519e 100755 (executable)
@@ -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"