Updated dist.sh (safe to cherry-pick)

Signed-off-by: Roland Häder <roland@haeder.net>

diff --git a/dist.sh b/dist.sh
index 8d5e1ccb04fa6a5f0ff80cce42a6cbc8d952641b..58d917f92024ee2326b909ed17a6c2232f4bc602 100755 (executable)
--- a/dist.sh
+++ b/dist.sh
@@ -69,7 +69,7 @@ do
 
 done
 
-if [ -n "${GLASSFISH_SSH_PATH}" -a -n "${GLASSFISH_SSH_SERVER}" ]
+if [ "$1" != "r" -a -n "${GLASSFISH_SSH_PATH}" -a -n "${GLASSFISH_SSH_SERVER}" ]
 then
        echo "$0: Copying to remote '${GLASSFISH_SSH_SERVER}' ..."
        scp "${DIST}" "${GLASSFISH_SSH_SERVER}:${GLASSFISH_SSH_PATH}"