commit | 70439968478bcc591c8534dadf1edd02bc09100f | [log] [tgz] |
---|---|---|
author | Pau Espin Pedrol <pespin@sysmocom.de> | Thu May 17 17:09:38 2018 +0200 |
committer | Pau Espin Pedrol <pespin@sysmocom.de> | Thu May 17 18:18:50 2018 +0200 |
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