diff options
| -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 <==========" |