Add more debugging

Change-Id: I213d0bc0eee64a6590272ba643fbd0b1a0c3badc
diff --git a/jjb/shell/github-release.sh b/jjb/shell/github-release.sh
index eae6b9c..daf7ac8 100755
--- a/jjb/shell/github-release.sh
+++ b/jjb/shell/github-release.sh
@@ -954,6 +954,9 @@
 ## -----------------------------------------------------------------------
 function my_gh()
 {
+    func_echo "ENTER"    
+    set -x
+ 
     declare -a cmd=()
     cmd+=("$gh_cmd")
 
@@ -966,6 +969,7 @@
 
     while [ $# -gt 0 ]; do
         local arg="$1"; shift
+	func_echo "function arg is [$arg]"
         case "$arg" in
 
             # Modes
@@ -1009,10 +1013,18 @@
     done
 
     cmd+=("${args[@]}")
+
+    echo
+    declare -p cmd
+
+    echo
     echo "** Running: ${cmd[*]}"
     "${cmd[@]}"
     local status=$?
 
+    set +x
+    func_echo "LEAVE"
+
     [[ $status -eq 0 ]] && { true; } || { false; }
     return
 }