diff options
| author |  xclerc <xavier.clerc@inria.fr> | 2013-11-29 10:13:20 +0100 |
|---|---|---|
| committer | xclerc <xavier.clerc@inria.fr> | 2013-11-29 10:13:20 +0100 |
| commit | 38ab183fa9c37e6e405db20ccc393465474a73c0 (patch) | |
| tree | 93f5e4ba4785c8a24ac3fbfa0c31700435257f69 /test-suite/Makefile | |
| parent | 26b42b8f300a6d11fc2e9880e349b17d03d46e31 (diff) | |
Testsuite: flatten the 'bugs/opened' directory.
Diffstat (limited to 'test-suite/Makefile')
| -rw-r--r-- | test-suite/Makefile | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index 07ed8d3a6..83ea91a7d 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -64,8 +64,7 @@ log_intro = "==========> TESTING $(1) <==========" # Apart so that it can be easily skipped with overriding COMPLEXITY := $(if $(bogomips),complexity) -BUGS := bugs/opened/shouldnotfail bugs/opened/shouldnotsucceed \ - bugs/closed +BUGS := bugs/opened bugs/closed VSUBSYSTEMS := prerequisite success failure $(BUGS) output \ interactive micromega $(COMPLEXITY) modules stm @@ -152,7 +151,7 @@ summary.log: # All files are assumed to have <# of the bug>.v as a name # Opened bugs that should not fail -$(addsuffix .log,$(wildcard bugs/opened/shouldnotfail/*.v)): %.v.log: %.v +$(addsuffix .log,$(wildcard bugs/opened/*.v)): %.v.log: %.v @echo "TEST $<" $(HIDE){ \ echo $(call log_intro,$<); \ |