forked from github/verilator
Makefile: Rebuild only on git head change, not touching a file
This commit is contained in:
parent
be1a3f427e
commit
6129452681
@ -47,7 +47,7 @@ export OBJCACHE_JOBS := -j $(shell objcache --jobs "$(OBJCACHE_HOSTS)")
|
||||
export OBJCACHE := @objcache --read --write
|
||||
endif
|
||||
|
||||
UNDER_GIT = $(wildcard ../.git)
|
||||
UNDER_GIT = $(wildcard ../.git/logs/HEAD)
|
||||
|
||||
#*********************************************************************
|
||||
|
||||
@ -79,7 +79,7 @@ prefiles::
|
||||
ifneq ($(UNDER_GIT),) # If local git tree... Else don't burden users
|
||||
prefiles:: config_rev.h
|
||||
# This output goes into srcdir, as we need to distribute it as part of the kit.
|
||||
config_rev.h: config_rev.pl ../.git/index
|
||||
config_rev.h: config_rev.pl ../.git/logs/HEAD
|
||||
$(PERL) config_rev.pl . >$@
|
||||
endif
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user