From 1efec3952b780cc675ae111313017c3b91d20a01 Mon Sep 17 00:00:00 2001 From: Robin Haberkorn Date: Tue, 11 Oct 2011 15:05:38 +0200 Subject: initial commit based on erlang-slang 1.0 release (debian tar ball) --- config/config.cache | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 config/config.cache (limited to 'config/config.cache') diff --git a/config/config.cache b/config/config.cache new file mode 100644 index 0000000..874acfe --- /dev/null +++ b/config/config.cache @@ -0,0 +1,16 @@ +# 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. +# +ac_cv_path_ERL=${ac_cv_path_ERL=/usr/local/bin/erl} +ac_cv_path_ERLC=${ac_cv_path_ERLC=/usr/local/bin/erlc} -- cgit v1.2.3