diff options
| -rw-r--r-- | test/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/Makefile.in b/test/Makefile.in index a5755fd2259..26d7e591c7a 100644 --- a/test/Makefile.in +++ b/test/Makefile.in @@ -94,6 +94,10 @@ SELECTOR_DEFAULT = (quote (not (tag :expensive-test))) SELECTOR_EXPENSIVE = nil ifdef SELECTOR SELECTOR_ACTUAL=$(SELECTOR) +else ifndef MAKECMDGOALS +SELECTOR_ACTUAL=$(SELECTOR_DEFAULT) +else ifeq ($(MAKECMDGOALS),all) +SELECTOR_ACTUAL=$(SELECTOR_DEFAULT) else ifeq ($(MAKECMDGOALS),check) SELECTOR_ACTUAL=$(SELECTOR_DEFAULT) else ifeq ($(MAKECMDGOALS),check-maybe) |