X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=acinclude.m4;h=4b5cd720e89100ffcafb3b9442ab4ab7a3168563;hp=e963eb91ec407ce62dd77e802b8ef92e8b8e5bcd;hb=3d757d6bfa78c9812337e8c5d849fbd2ab75f861;hpb=a873869942dcf50989760464a190949e5ad32bbe

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."