From f714e22a7c321d93e415fa43b6cff07cfda01b67 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Grubbstr=C3=B6m=20=28Grubba=29?=
 <grubba@grubba.org>
Date: Wed, 8 Apr 2015 17:04:55 +0200
Subject: [PATCH] Build [NT]: Reenable the configure cache by default for
 WIN32.

Running uncached configure with rntcl et al takes considerable time...
---
 src/configure.in | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/src/configure.in b/src/configure.in
index 0f4d632a84..5286306e5d 100644
--- a/src/configure.in
+++ b/src/configure.in
@@ -37,6 +37,23 @@ Fix your permissions.
 ])
 fi
 
+if_autoconf(2,50,[
+  if test "x$cache_file" = "x/dev/null"; then
+    if uname | grep -i windows >/dev/null; then
+      PIKE_MSG_WARN([Windows detected.])
+      PIKE_MSG_WARN([Enabling the configure cache for performance reasons.])
+      cache_file=./config.cache
+      if test -r "$cache_file"; then
+	echo "loading cache $cache_file"
+	  . $cache_file
+      else
+	echo "creating cache $cache_file"
+	  > $cache_file
+      fi
+    fi
+  fi
+])
+
 AC_PROG_MAKE_SET
 
 
-- 
GitLab