diff options
author | Jason Gross <jagro@google.com> | 2016-07-21 08:43:38 -0700 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2016-07-21 08:43:38 -0700 |
commit | d22b177d86e0544668b0a7e36063936376f1996d (patch) | |
tree | 4bd869370fee871e4c80c89780cd745d86be1b1b /Makefile | |
parent | f41ace6b51dc580d94e28897a08cc1aebf1bdcc2 (diff) |
Faster update-_CoqProject target
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -26,7 +26,13 @@ ifneq ($(filter 8.4%,$(COQ_VERSION)),) # 8.4 COQC?=$(TIMER) "$(COQBIN)coqc" endif +ifneq ($(filter-out $(SUPER_FAST_TARGETS),$(MAKECMDGOALS)),) -include Makefile.coq +else +ifeq ($(MAKECMDGOALS),) +-include Makefile.coq +endif +endif .DEFAULT_GOAL := coq |