diff --git a/src/Makefile.in b/src/Makefile.in index dda9403e3..be035a13f 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -46,6 +46,10 @@ export OBJCACHE_JOBS := -j $(shell objcache --jobs "$(OBJCACHE_HOSTS)") export OBJCACHE := @objcache --read --write endif +UNDER_GIT = $(wildcard ../.git) + +#********************************************************************* + obj_opt: mkdir $@ obj_dbg: @@ -71,7 +75,7 @@ dbg: ../verilator_bin_dbg prefiles:: -ifeq ($(VERILATOR_AUTHOR_SITE),1) # Local... Else don't burden users +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