Glitch with make cleandir

I was going to live life dangerously on the bleeding edge for a while,
but it seems I have a problem making it all the way to the edge. ...

Turns out I did not have enough room in /usr, so I got a filesystem
full during make buildkernel.  I thought I'd just clean up, then move
/usr/src to another filesystem and try again.

# chflags -R noschg /usr/obj/usr
# rm -fr /usr/obj/usr
# make cleandir
"Makefile.inc1", line 744: warning: String comparison operator should be either == or !=
"Makefile.inc1", line 744: Malformed conditional ((!defined(NO_RESCUE) ||  defined(RELEASEDIR)) &&  (${TARGET_ARCH} != ${MACHINE_ARCH} || ${BOOTSTRAPPING} < 501101))
"Makefile.inc1", line 744: Missing dependency operator
"Makefile.inc1", line 746: if-less endif
"Makefile.inc1", line 746: Need an operator
make: fatal errors encountered -- cannot continue
*** Error code 1

Stop in /usr/src.

The following patch, which as far as I can tell is definitely wrong,
lets me get past this point.  Before I tried that, I turned on various
debugging flags for make, and can see that indeed BOOTSTRAPPING=0, so
using the < comparison operator ought to be all right.

--- Makefile.inc1-SAVE	Sat Oct  4 20:53:38 2003
+++ Makefile.inc1	Thu Oct 30 18:53:07 2003
_at__at_ -741,7 +741,7 _at__at_
 
 .if (!defined(NO_RESCUE) || \
     defined(RELEASEDIR)) && \
-    (${TARGET_ARCH} != ${MACHINE_ARCH} || ${BOOTSTRAPPING} < 501101)
+    (${TARGET_ARCH} != ${MACHINE_ARCH} || ${BOOTSTRAPPING} != 501101)
 _crunchide=	usr.sbin/crunch/crunchide
 .endif
 

I find this kind of odd.  Is there perhaps a bug in the make program I
am using?  This is on 5.1-RELEASE.

- Harald