pike.git/ src/ configure.in

2015-04-08

2015-04-08 15:04:55 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• bc800a15ef511d4626f413cd0c83ab32a95bebed (18 lines) (+18/-0) ^{[ Show | Annotate ]}
  Branch: 8.1

Build [NT]: Reenable the configure cache by default for WIN32.

Running uncached configure with rntcl et al takes considerable time...

37:   ])   fi    + if_autoconf(2,50,[ +  if test "x$cache_file" = "x/dev/null"; then +  if uname | grep -i windows >/dev/null; then +  PIKE_MSG_WARN([Windows detected.]) +  PIKE_MSG_WARN([Enabling the configure cache for performance reasons.]) +  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 +  fi + ]) +    AC_PROG_MAKE_SET