aboutsummaryrefslogtreecommitdiffhomepage
path: root/config/config.cache
diff options
context:
space:
mode:
authorRobin Haberkorn <robin.haberkorn@googlemail.com>2011-10-11 15:11:15 +0200
committerRobin Haberkorn <robin.haberkorn@googlemail.com>2011-10-11 15:11:15 +0200
commitae0cd1066cb8f3a511d5244022c2a1a674b3dcbc (patch)
tree06b2409def0a5b4c8f2df7ae380fec28b40970c0 /config/config.cache
parent62cbcd271283070848a0d924ba25a061a2dff2da (diff)
downloaderlang-slang-fork-ae0cd1066cb8f3a511d5244022c2a1a674b3dcbc.tar.gz
remove autogenerated files and update config.sub
the build system needs much more fixes to become usable
Diffstat (limited to 'config/config.cache')
-rw-r--r--config/config.cache16
1 files changed, 0 insertions, 16 deletions
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}