Add missing script name markers

[releng/global-jjb.git] / shell / gerrit-push-patch.sh

diff --git a/shell/gerrit-push-patch.sh b/shell/gerrit-push-patch.sh
index 4376277..e732b22 100644 (file)
--- a/shell/gerrit-push-patch.sh
+++ b/shell/gerrit-push-patch.sh
@@ -8,6 +8,7 @@
 # which accompanies this distribution, and is available at
 # http://www.eclipse.org/legal/epl-v10.html
 ##############################################################################
+echo "---> gerrit-push-patch.sh"
 # Push a change to Gerrit if files modified in repository.
 #
 # The script requires to install the minimum version 1.25 of git-review using