X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fconfiguration%2Fconfig.cache.pkg;h=434e570a2b28d8e18af0cd7f6044e8e014a7a6c0;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=0900d904bc0801eef9dc36883417477ac1d2ca6b;hpb=ba75c7b879fc02c025f13c1f4ba087e7ad4fbfc9;p=helm.git

diff --git a/helm/configuration/config.cache.pkg b/helm/configuration/config.cache.pkg
index 0900d904b..434e570a2 100644
--- a/helm/configuration/config.cache.pkg
+++ b/helm/configuration/config.cache.pkg
@@ -1,4 +1,15 @@
-# This is the config.cache that holds the ``standard'' path for the
-# HELM library. It is supposed to be used when creating packages
-
-helm_cv_HELM_LIBRARY_DIR=${helm_cv_HELM_LIBRARY_DIR='$RESOLVED_PREFIX/var/helm'}
+# This file is a shell script that caches the results of configure
+# tests run on this system so they can be shared between configure
+# scripts and configure runs.  It is not useful on other systems.
+# If it contains results you don't want to keep, you may remove or edit it.
+#
+# By default, configure uses ./config.cache as the cache file,
+# creating it if it does not exist already.  You can give configure
+# the --cache-file=FILE option to use a different cache file; that is
+# what configure does when it calls configure scripts in
+# subdirectories, so they share the cache.
+# Giving --cache-file=/dev/null disables caching, for debugging configure.
+# config.status only pays attention to the cache file if you give it the
+# --recheck option to rerun configure.
+#
+helm_cv_HELM_VAR_DIR=${helm_cv_HELM_VAR_DIR='/var/local/helm'}