empire/empserver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Added Remove_Repository to supported command list

Browse source 
This feature was added in commit 70c03561bb but was
not added to the list of supported commands at the top
of file.  No functional change just a documentation
correction.
This commit is contained in:
Ron Koenderink 2008-02-16 11:15:10 -06:00
parent ffee7cd10d
commit 13cca55a9d
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/scripts/nightly/nightlybuild.sh
View file

@ -15,6 +15,7 @@
# TESTSCRIPT - Run the testscript # TESTSCRIPT - Run the testscript
# SERVERSTOP - Stop the server if it was started by this script # SERVERSTOP - Stop the server if it was started by this script
# CLEANUP - Remove the contents of the sandbox # CLEANUP - Remove the contents of the sandbox
# REMOVE_REPOSITORY Removes the git repository when cleaning up
# #
PROGNAME="$0" PROGNAME="$0"