Remove spurious LINT: directives

[metaconfig.git] / U / modified / Head.U

diff --git a/U/modified/Head.U b/U/modified/Head.U
index 45d50ad..593e225 100644 (file)
--- a/U/modified/Head.U
+++ b/U/modified/Head.U
@@ -1,7 +1,7 @@
 ?RCS: $Id: Head.U,v 3.0.1.9 1997/02/28 15:02:09 ram Exp $
 ?RCS:
 ?RCS: Copyright (c) 1991-1993, Raphael Manfredi
-?RCS: 
+?RCS:
 ?RCS: You may redistribute only under the terms of the Artistic Licence,
 ?RCS: as specified in the README file that comes with the distribution.
 ?RCS: You may reuse parts of this distribution only within the terms of
@@ -42,17 +42,17 @@
 ?RCS: Revision 3.0  1993/08/18  12:04:58  ram
 ?RCS: Baseline for dist 3.0 netwide release.
 ?RCS:
-?X: 
+?X:
 ?X: This is the very first unit in the Configure script.  It is mostly just
 ?X: things to keep people from getting into a tizzy right off the bat.
-?X: 
+?X:
 ?MAKE:Head:
 ?MAKE: -pick wipe $@ %<
 ?V:PATH p_ me
 ?T:argv Id p paths OS2_SHELL DJGPP
 ?T:inksh needksh avoidksh newsh changesh reason
 ?LINT:extern ENV CDPATH SHELL MACHTYPE _exe is_os2
-?LINT:change ENV CDPATH _exe is_os2
+?LINT:change ENV CDPATH is_os2
 #! /bin/sh
 #
 # If these # comments don't work, trim them. Don't worry about any other
@@ -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
@@ -281,6 +293,11 @@ true)
        esac
        ;;
 esac
+?X: 2004.06.09 rac
+?X: having $newsh persist as ksh here is bad news if ksh doesn't really
+?X: exist. this causes us to toss away a perfectly good working test in
+?X: bash in favour of more exotic external options. see bug 42665.
+test -x "${newsh}" || unset newsh
 
 ?X: Unset CDPATH to avoid surprises when using cd under some shells
 ?X: Can't unset it because that's not portable to very old shells.