diff options
-rwxr-xr-x | tools/remotetest | 2 |
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 |