diff options
author | Pau Espin Pedrol <pespin@sysmocom.de> | 2018-05-17 17:09:38 +0200 |
---|---|---|
committer | Pau Espin Pedrol <pespin@sysmocom.de> | 2018-05-17 18:18:50 +0200 |
commit | 70439968478bcc591c8534dadf1edd02bc09100f (patch) | |
tree | 79d50f7f8728ddfb577bd1c3662be4060587c1a4 | |
parent | 78f7c753a348f9aa6cd1a88f3da46d840ecebedb (diff) |
contrib: common: Record repo curr rev in have_repo instead of build_repo
This way scripts making use only of have_repo (to have build specific
insturctions) can still benefit from that code.
Change-Id: I03149942ac1d279a15c71df3eb880c331c8fc155
-rw-r--r-- | contrib/jenkins-build-common.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/jenkins-build-common.sh b/contrib/jenkins-build-common.sh index 39046ef..9d85622 100644 --- a/contrib/jenkins-build-common.sh +++ b/contrib/jenkins-build-common.sh @@ -91,6 +91,8 @@ have_repo() { git rev-parse HEAD + echo "$(git rev-parse HEAD) $dep" >> "$prefix_real/${name}_git_hashes.txt" + cd "$base" } @@ -122,8 +124,6 @@ build_repo() { cd "$dep" - echo "$(git rev-parse HEAD) $dep" >> "$prefix_real/${name}_git_hashes.txt" - # special shim: we know the openbsc.git needs to be built in the openbsc/ subdir. if [ "$dep" = "openbsc" ]; then cd openbsc |