diff options
| -rwxr-xr-x | contrib/publish-prebuilt-dir.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/publish-prebuilt-dir.sh b/contrib/publish-prebuilt-dir.sh index fcf7ecee8..a636c6de6 100755 --- a/contrib/publish-prebuilt-dir.sh +++ b/contrib/publish-prebuilt-dir.sh @@ -11,4 +11,5 @@ MSG="built from ${COMMIT}" # the prebuilt folder cd prebuilt git commit -m "$MSG" -a -git push +git show --stat +echo "ready to push" |