pike.git/ src/ configure.in

2014-12-04

2014-12-04 19:24:27 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• 85a15f136a3d3ed1e05366785f236acda983f8f7 (14 lines) (+2/-12) ^{[ Show | Annotate ]}
  Branch: bill/master_archive_support

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.])   ])