Re: [PATCH] Detecting bad /dev/null's in Configure

Message-ID: <44EF541C.7050801@gentoo.org>

p4raw-id: //depot/metaconfig@29216

diff --git a/U/modified/Head.U b/U/modified/Head.U
index 45d50ad..d8ee6c4 100644 (file)
--- 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