diff options
author | Chih-Wei Huang <cwhuang@linux.org.tw> | 2016-11-22 13:08:30 +0800 |
---|---|---|
committer | Chih-Wei Huang <cwhuang@linux.org.tw> | 2016-11-22 14:53:53 +0800 |
commit | 5d0d07d402fa0edead26450fb86111292e8f834f (patch) | |
tree | 8b6ef838ed9f155cd9793a1023c10a2682500e0a | |
parent | 63ec4e6da53688284180765fb5a1600c2643e4a9 (diff) | |
download | external_mesa3d-5d0d07d402fa0edead26450fb86111292e8f834f.zip external_mesa3d-5d0d07d402fa0edead26450fb86111292e8f834f.tar.gz external_mesa3d-5d0d07d402fa0edead26450fb86111292e8f834f.tar.bz2 |
android: re-generate git_sha1.h if ORIG_HEAD updated
The git HEAD may not be updated if we are on a named branch.
Use ORIG_HEAD instead.
Signed-off-by: Chih-Wei Huang <cwhuang@linux.org.tw>
-rw-r--r-- | src/mesa/Android.gen.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mesa/Android.gen.mk b/src/mesa/Android.gen.mk index e04482b..aaa2de9 100644 --- a/src/mesa/Android.gen.mk +++ b/src/mesa/Android.gen.mk @@ -70,7 +70,7 @@ define es-gen $(hide) $(PRIVATE_SCRIPT) $(1) $(PRIVATE_XML) > $@ endef -$(intermediates)/main/git_sha1.h: $(wildcard $(MESA_TOP)/.git/HEAD) +$(intermediates)/main/git_sha1.h: $(wildcard $(MESA_TOP)/.git/ORIG_HEAD) @mkdir -p $(dir $@) @echo "GIT-SHA1: $(PRIVATE_MODULE) <= git" $(hide) touch $@ |