diff options
author | Stefan K. Berg <stefan.k.berg@ericsson.com> | 2015-12-15 15:57:46 +0100 |
---|---|---|
committer | Stefan K. Berg <stefan.k.berg@ericsson.com> | 2015-12-18 00:37:25 +0100 |
commit | 429392e6041fd5777c9a5a437f6455bca0fe3ed8 (patch) | |
tree | 730b872ef172ea826251f24decaead2e89090146 /build/docker/Makefile | |
parent | f86c13c4e5a301946e6151bf57760dcebab67265 (diff) |
Fix for cache handling
Introduced a separate function "getcommitid" in the cache.sh
- a.k.a. $(CACHETOOL) - so that given a repo and a tag, branch
or commitid the corresponding commitid is returned.
The same principle should be used in all caching functions where
not a strict tag or head is specified (as git ls-remote will not
be able to figure out the commit id in those cases).
Change-Id: I3540dca7ab408c872eaabdc68d4058f9d6d7c45f
Signed-off-by: Stefan K. Berg <stefan.k.berg@ericsson.com>
Diffstat (limited to 'build/docker/Makefile')
0 files changed, 0 insertions, 0 deletions