From ae0cd1066cb8f3a511d5244022c2a1a674b3dcbc Mon Sep 17 00:00:00 2001 From: Robin Haberkorn Date: Tue, 11 Oct 2011 15:11:15 +0200 Subject: remove autogenerated files and update config.sub the build system needs much more fixes to become usable --- config/config.cache | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 config/config.cache (limited to 'config/config.cache') diff --git a/config/config.cache b/config/config.cache deleted file mode 100644 index 3cc3b9c..0000000 --- a/config/config.cache +++ /dev/null @@ -1,16 +0,0 @@ -# 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/bin/erl} -ac_cv_path_ERLC=${ac_cv_path_ERLC=/usr/bin/erlc} -- cgit v1.2.3