From e786dad8d21b5707d98b6eb95fe04a910a4cfcb4 Mon Sep 17 00:00:00 2001
From: Michael Cummings <mcummings@gentoo.org>
Date: Fri, 25 Aug 2006 11:48:44 -0400
Subject: [PATCH] Re: [PATCH] Detecting bad /dev/null's in Configure
 Message-ID: <44EF541C.7050801@gentoo.org>

p4raw-id: //depot/metaconfig@29216
---
 U/modified/Head.U | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/U/modified/Head.U b/U/modified/Head.U
index 45d50ad..d8ee6c4 100644
--- a/U/modified/Head.U
+++ b/U/modified/Head.U
@@ -134,6 +134,18 @@ EOF
 	exit 1
 fi
 
+if test ! -c /dev/null ; then
+	cat >&4 <<EOF
+***
+*** I'm sorry, but /dev/null appears to be a file rather than a device.
+*** Please consult your operating sytem's notes for making a device
+*** in /dev.
+*** Cannot continue, aborting.
+***
+EOF
+	exit 1
+fi
+
 : compute my invocation name
 me=$0
 case "$0" in
-- 
1.8.3.1