1 files changed, 15 insertions, 0 deletions
diff --git a/contrib/publish-prebuilt-dir.sh b/contrib/publish-prebuilt-dir.sh
new file mode 100755
index 000000000..a636c6de6
--- /dev/null
+++ b/contrib/publish-prebuilt-dir.sh
@@ -0,0 +1,15 @@
+#!/bin/bash
+
+# this script is part of the make prebuilt procedure
+# is expected on the root folder
+
+# create a commit message with the commit id
+COMMIT=$(git rev-parse --verify HEAD)
+MSG="built from ${COMMIT}"
+
+# after building process has copy everything into 
+# the prebuilt folder
+cd prebuilt
+git commit -m "$MSG" -a
+git show --stat
+echo "ready to push"