summaryrefslogtreecommitdiff
path: root/contrib/publish-prebuilt-dir.sh
blob: fcf7ecee894c4fc3a0b1204634a6447d80892eb9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#!/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 push