diff options
Diffstat (limited to 'ci/build.sh')
| -rwxr-xr-x | ci/build.sh | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/ci/build.sh b/ci/build.sh index 98078b0a..99de559a 100755 --- a/ci/build.sh +++ b/ci/build.sh @@ -10,6 +10,12 @@ error_exit() { exit 1 } +write_gitinfo() { + git_url=$(git config --get remote.origin.url) + git_rev=$(git rev-parse HEAD) + echo "$git_url: $git_rev" +} + if [ $# -eq 0 ]; then OUTPUT_DIR=$(pwd) else @@ -23,11 +29,13 @@ echo "Building armband, output dir: $OUTPUT_DIR" cd .. SCRIPT_DIR=$(readlink -f $(dirname ${BASH_SOURCE[0]})) -BUILD_BASE="${SCRIPT_DIR}/upstream/fuel/build/" +BUILD_BASE="${SCRIPT_DIR}/upstream/fuel/build" RESULT_DIR="${BUILD_BASE}/release" make release || error_exit "Make release failed" +write_gitinfo >> ${BUILD_BASE}/gitinfo.txt + echo "Copying results to $OUTPUT_DIR" sort ${BUILD_BASE}/gitinfo*.txt > ${OUTPUT_DIR}/gitinfo.txt cp ${RESULT_DIR}/*.iso ${OUTPUT_DIR}/ |