diff options
| author |   Josep Puigdemont <josep.puigdemont@enea.com> | 2016-04-21 13:40:25 +0200 |
|---|---|---|
| committer |   Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2016-05-02 14:35:23 +0000 |
| commit | bc4256de1b1874cc078df955548858d949667ec5 (patch) | |
| tree | 79510d5a57277ecbbee1084741751116bc171b2d | |
| 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)
| -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}/ |