diff options
author | 2016-04-21 13:40:25 +0200 | |
---|---|---|
committer | 2016-05-02 14:35:23 +0000 | |
commit | bc4256de1b1874cc078df955548858d949667ec5 (patch) | |
tree | 79510d5a57277ecbbee1084741751116bc171b2d /ci/build.sh | |
parent | b5679e5587710bf52a8ca8aa8fc18c1a1cfd206c (diff) |
build.sh: save git URL and revision used for the build.
Change-Id: I7c812ec697b1d75aafe39f6ad542647c45cc70b6
Signed-off-by: Josep Puigdemont <josep.puigdemont@enea.com>
(cherry picked from commit 82c8ce04572c6b1e46909827ecb35ed2ca9e8285)
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}/ |