summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorAleksandar Pokopec <aleksandar.prokopec@epfl.ch>2010-10-28 12:32:32 +0000
committerAleksandar Pokopec <aleksandar.prokopec@epfl.ch>2010-10-28 12:32:32 +0000
commit9f3d7b709e98f8ee743013a812888232eabb2ab0 (patch)
treeeca76fdb27813e379f87f8092b31d63638be5582 /tools
parent750b5244eeb2484e0cd37117c0e6c9f0b7c5c57a (diff)
downloadscala-9f3d7b709e98f8ee743013a812888232eabb2ab0.tar.gz
scala-9f3d7b709e98f8ee743013a812888232eabb2ab0.tar.bz2
scala-9f3d7b709e98f8ee743013a812888232eabb2ab0.zip
Remote test help improved.
No review
Diffstat (limited to 'tools')
-rwxr-xr-xtools/remotetest10
1 files changed, 9 insertions, 1 deletions
diff --git a/tools/remotetest b/tools/remotetest
index 94eb731e68..15b7f2dc02 100755
--- a/tools/remotetest
+++ b/tools/remotetest
@@ -56,7 +56,8 @@ function instruct()
function help()
{
- title
+ usage
+ echo
echo "Make sure you have git installed on both your computer and the server, as well as java and ant."
echo "Add your ssh key to the list of authorized keys on the server (see .ssh dir in your home). This is not required, but makes life easier, as you will have to answer fewer passwords."
echo "To initialize the remote repositories on a server 'server.url.com', see the following example:"
@@ -73,6 +74,13 @@ function help()
echo
echo "Optionally, build and test results will be saved into the logfile on the server (an additional, last argument). Be aware that problems arise should you push an ammended commit over a previously pushed commit - this has nothing to do with this script per se."
echo
+ echo " Example workflow:"
+ echo
+ echo " ------------------- "
+ echo " | | "
+ echo " V | "
+ echo " init ---> [ all | incr ] ---> clear "
+ echo
echo "Complete argument list:"
echo " --help prints this help"
echo " --init initializes remote repos"