aboutsummaryrefslogtreecommitdiff
path: root/contrib/publish-prebuilt-dir.sh
blob: d3e47b964c64ea48ee6bd9ea05c6f730e89862d5 (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 buliding process has copy everything into 
# the prebuilt folder
cd prebuilt
git commit -m "$MSG" -a
git push