diff options
| author | Jason Gross | 2019-12-19 09:12:51 -0500 |
|---|---|---|
| committer | Jason Gross | 2019-12-19 09:13:20 -0500 |
| commit | 4a402fe71e79fd005f7c03a9b5cc0d0a30dc9fe9 (patch) | |
| tree | df59759d5c8bcf89f4d2f40ef859f796bc82cfc9 | |
| parent | ec505a2fa67b0776b624be54417e06c6512f1734 (diff) | |
Revert "Fix #11303: skip complexity tests on windows even if bogomips found"
This reverts commit ec505a2fa67b0776b624be54417e06c6512f1734.
A better fix is coming
| -rw-r--r-- | test-suite/Makefile | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index bcaac9752e..609a61226b 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -71,9 +71,6 @@ get_coq_prog_args_in_parens = $(subst $(SINGLE_QUOTE),,$(if $(call get_coq_prog_ get_set_impredicativity= $(filter "-impredicative-set",$(call get_coq_prog_args,$(1))) bogomips:= -ifeq (win32,$(ARCH)) - $(warning windows detected: skipping complexity tests) -else ifneq (,$(wildcard /proc/cpuinfo)) sedbogo := -e "s/bogomips.*: \([0-9]*\).*/\1/p" # i386, ppc sedbogo += -e "s/Cpu0Bogo.*: \([0-9]*\).*/\1/p" # sparc @@ -84,7 +81,6 @@ endif ifeq (,$(bogomips)) $(warning cannot run complexity tests (no bogomips found)) endif -endif # keep these synced with test-suite/save-logs.sh log_success = "==========> SUCCESS <==========" |