summaryrefslogtreecommitdiff
path: root/jenkins.sh
diff options
context:
space:
mode:
authorRobert Savoye <rob.savoye@linaro.org>2015-02-27 01:29:24 +0000
committerLinaro Code Review <review@review.linaro.org>2015-02-27 01:29:24 +0000
commit40798798bf13c7cd270a6cbbcb5725765becd488 (patch)
tree997761667b2d182cfff289d8fee31d53a62f1884 /jenkins.sh
parent180e82b4214d24a71edd65a74ee06ca30a89e853 (diff)
parent059db0cfd9c39e817486b6878e34ceb8090ed696 (diff)
Merge "Improve debug logs"
Diffstat (limited to 'jenkins.sh')
-rwxr-xr-xjenkins.sh3
1 files changed, 3 insertions, 0 deletions
diff --git a/jenkins.sh b/jenkins.sh
index f7345374..4954d8a1 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -16,6 +16,9 @@
# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
#
+# Improve debug logs
+PRGNAME=`basename $0`
+PS4='+ $PRGNAME: ${FUNCNAME+"$FUNCNAME : "}$LINENO: '
usage()
{