From 109bd39540090b01cff8789def597ed573091710 Mon Sep 17 00:00:00 2001
From: Richard Kreckel <Richard.Kreckel@uni-mainz.de>
Date: Tue, 15 Jan 2002 14:46:17 +0000
Subject: [PATCH] * GINAC_CHECK_ERRORS: Don't delete cache_file /dev/null (by
 Roberto Bagnara).

---
 acinclude.m4 | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/acinclude.m4 b/acinclude.m4
index e963eb91..4b5cd720 100644
--- a/acinclude.m4
+++ b/acinclude.m4
@@ -86,8 +86,10 @@ if test "x${ginac_error}" = "xyes"; then
     if test "x${ginac_warning_txt}" != "x"; then
         echo "${ginac_warning_txt}"
     fi
-    echo "deleting cache ${cache_file}"
-    rm -f $cache_file
+    if test "x$cache_file" != "x/dev/null"; then
+        echo "deleting cache ${cache_file}"
+        rm -f $cache_file
+    fi
     else 
         if test x$ginac_warning = xyes; then
             echo "=== The following minor problems have been detected by configure."
-- 
2.44.0