From ec505a2fa67b0776b624be54417e06c6512f1734 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Thu, 19 Dec 2019 14:18:12 +0100
Subject: Fix #11303: skip complexity tests on windows even if bogomips found

Apparently the bogomips produced by cygwin are extra-bogo.
---
 test-suite/Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/test-suite/Makefile b/test-suite/Makefile
index 609a61226b..bcaac9752e 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -71,6 +71,9 @@ 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
@@ -81,6 +84,7 @@ 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