From 22bd4d16b68bb855d74e7e01336496e29719b9f7 Mon Sep 17 00:00:00 2001 From: Warner Losh Date: Sun, 4 May 2003 04:14:10 +0000 Subject: [PATCH] Many developers run with userland != to kernel. While this isn't supported, it usually works for months at a time. Allow these people to override the OSRELDATE of their installed world when things don't match and the exact OSRELDATE matters and is different than the kernel. Now that Makefile.inc1 depends more and more about which date you have to optimize the pieces it builds, it may be necessary to pessimize things if its guesses are wrong. If OSRELDATE is already set, we won't fork the sysctl to find out what the kernel's date is. Developers on IRC suggested that they run mismatches all the time as well. Reviewed by: obrien --- Makefile.inc1 | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile.inc1 b/Makefile.inc1 index 349cac698ba3..aa01a6747b92 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -119,7 +119,9 @@ SUPFLAGS+= -h ${SUPHOST} .endif MAKEOBJDIRPREFIX?= /usr/obj +.if !defined(OSRELDATE) OSRELDATE!= sysctl -n kern.osreldate +.endif TARGET_ARCH?= ${MACHINE_ARCH} .if ${TARGET_ARCH} == ${MACHINE_ARCH} TARGET?= ${MACHINE}