update prebuilt script

2 files changed, 14 insertions, 0 deletions

diff --git a/contrib/cleanup-prebuilt-dir.sh b/contrib/cleanup-prebuilt-dir.sh
new file mode 100755
index 000000000..1f664f860
--- /dev/null
+++ b/contrib/cleanup-prebuilt-dir.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+[ ! -d prebuilt ] && git worktree add -f prebuilt prebuilt && exit 1
+
+cd prebuilt
+git checkout -- .
+git pull
diff --git a/contrib/publish-prebuilt-dir.sh b/contrib/publish-prebuilt-dir.sh
new file mode 100755
index 000000000..33307a4c0
--- /dev/null
+++ b/contrib/publish-prebuilt-dir.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+COMMIT=$(git rev-parse --verify HEAD)
+MSG="built from ${COMMIT}"
+
+git commit -m "$MSG" -a
+git push