summaryrefslogtreecommitdiff
path: root/tools/remotetest
diff options
context:
space:
mode:
authorAleksandar Pokopec <aleksandar.prokopec@epfl.ch>2010-10-28 12:09:46 +0000
committerAleksandar Pokopec <aleksandar.prokopec@epfl.ch>2010-10-28 12:09:46 +0000
commit4ddb4ce1e28afe15f9335a4bd51e07f68161b27c (patch)
tree8bdffc5edf218c6ed8793eeae8270e3a22907d59 /tools/remotetest
parente734600e0a86109acaa59ae684e6e8d17c0593dc (diff)
downloadscala-4ddb4ce1e28afe15f9335a4bd51e07f68161b27c.tar.gz
scala-4ddb4ce1e28afe15f9335a4bd51e07f68161b27c.tar.bz2
scala-4ddb4ce1e28afe15f9335a4bd51e07f68161b27c.zip
Modified remote test.
No review.
Diffstat (limited to 'tools/remotetest')
-rwxr-xr-xtools/remotetest2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/remotetest b/tools/remotetest
index a4e980eb61..1e81f7e2c3 100755
--- a/tools/remotetest
+++ b/tools/remotetest
@@ -194,7 +194,7 @@ fi
git push $LOCATION master
if [ $? -ne 0 ]
then
- error "Could not push to bare repo."
+ error "Could not push to bare repo - push from local machine failed."
fi
# remotely checkout the repo