pike.git/
src/
configure.in
Branch:
Tag:
Non-build tags
All tags
No tags
2013-11-02
2013-11-02 17:39:10 by Henrik Grubbström (Grubba) <grubba@grubba.org>
54691f93cf96c31d780ba0e19eb02b0491dc81cf (
14
lines) (+
2
/-
12
)
[
Show
|
Annotate
]
Branch:
7.9
Configure: Disable use of config.cache by default.
By popular demand.
5:
rm -f config.warnings 2>/dev/null
-
if_autoconf(2,50,
[
-
if test "x$cache_file" = "x/dev/null"; then
-
cache_file=./config.cache
-
if test -r "$cache_file"; then
-
echo "loading cache $cache_file"
-
. $cache_file
-
else
-
echo "creating cache $cache_file"
-
> $cache_file
-
fi
-
fi
-
]
, [
+
if_autoconf(2,50,, [
PIKE_MSG_WARN([configure script has been generated with autoconf 2.13 or earlier.]) ])