pike.git/ src/ configure.in

2003-06-27

2003-06-27 13:16:56 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• 043b2029e4d3c96b58cab850a2fd7575fcd622fe (22 lines) (+21/-1) ^{[ Show | Annotate ]}
  Branch: 7.9

Added check that the system time seems reasonable.

Rev: src/configure.in:1.724

1: - AC_REVISION("$Id: configure.in,v 1.723 2003/06/26 08:28:17 tomas Exp $") + AC_REVISION("$Id: configure.in,v 1.724 2003/06/27 13:16:56 grubba Exp $")   AC_INIT(interpret.c)   AC_CONFIG_HEADER(machine.h)   
33:    ;;   esac    + # Check that we can write to the source directory. + sleep 1 + if touch "$srcdir/configure~"; then +  # Check that the system time is reasonably correct. +  if test `cd "$srcdir" && ls -1t configure configure~ | head -1` = "configure"; then +  AC_MSG_ERROR([ + $srcdir/configure has modification time in the future. + Check and set your system time. + Current system time is `date`. + ]) +  fi + else +  AC_MSG_ERROR([ + Failed to write in source directory. + Fix your permissions. + `ls -ld $srcdir` + ]) + fi +    # Attempt to use bash instead of /bin/sh to run configure   # since bash is usually several orders of magnitude faster   # on machines that have a real /bin/sh.