pike.git/
src/
configure.in
Branch:
Tag:
Non-build tags
All tags
No tags
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.