From 94ec53837a4306b6cfa58e58d6c6843d27284731 Mon Sep 17 00:00:00 2001
From: wolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Thu, 22 Mar 2001 17:47:45 +0000
Subject: [PATCH] add doc: switch off caching, since that leads to
 insurmountable trouble if you call ./configure subsequently on different
 systems without clearing the cache

git-svn-id: https://svn.dealii.org/branches/Branch-3-1@4268 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/configure.in | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/deal.II/configure.in b/deal.II/configure.in
index 0c90bb9e77..be27bc612c 100644
--- a/deal.II/configure.in
+++ b/deal.II/configure.in
@@ -12,6 +12,9 @@ dnl author: Wolfgang Bangerth, Guido Kanschat 1999, 2000
 dnl
 
 
+dnl switch off caching, since that leads to insurmountable trouble if
+dnl you call ./configure subsequently on different systems without
+dnl clearing the cache 
 define([AC_CACHE_LOAD], )dnl
 define([AC_CACHE_SAVE], )dnl
 AC_REVISION($Revision$)
-- 
2.39.5