From 4a402fe71e79fd005f7c03a9b5cc0d0a30dc9fe9 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Thu, 19 Dec 2019 09:12:51 -0500
Subject: Revert "Fix #11303: skip complexity tests on windows even if bogomips
 found"

This reverts commit ec505a2fa67b0776b624be54417e06c6512f1734.

A better fix is coming
---
 test-suite/Makefile | 4 ----
 1 file changed, 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 <=========="
-- 
cgit v1.2.3