diff options
Diffstat (limited to 'test')
| -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))) | |||
| 94 | SELECTOR_EXPENSIVE = nil | 94 | SELECTOR_EXPENSIVE = nil |
| 95 | ifdef SELECTOR | 95 | ifdef SELECTOR |
| 96 | SELECTOR_ACTUAL=$(SELECTOR) | 96 | SELECTOR_ACTUAL=$(SELECTOR) |
| 97 | else ifndef MAKECMDGOALS | ||
| 98 | SELECTOR_ACTUAL=$(SELECTOR_DEFAULT) | ||
| 99 | else ifeq ($(MAKECMDGOALS),all) | ||
| 100 | SELECTOR_ACTUAL=$(SELECTOR_DEFAULT) | ||
| 97 | else ifeq ($(MAKECMDGOALS),check) | 101 | else ifeq ($(MAKECMDGOALS),check) |
| 98 | SELECTOR_ACTUAL=$(SELECTOR_DEFAULT) | 102 | SELECTOR_ACTUAL=$(SELECTOR_DEFAULT) |
| 99 | else ifeq ($(MAKECMDGOALS),check-maybe) | 103 | else ifeq ($(MAKECMDGOALS),check-maybe) |