> >CPPFLAGS+=-DINET6
> 
> 	This is not related to boot floppy.  We generate binaries for boot
> 	floppies using src/distrib/utils/x_ping/Makefile for example, and the
> 	resulting binaries do not contain IPv6 bits (sorry if there are any
> 	leftover).

My sources are a couple of days old but I see:

./distrib/utils/sysinst/arch/i386/Makefile:14:CPPFLAGS+=-DINET6
/distrib/utils/sysinst/arch/hpcmips/Makefile:14:CPPFLAGS+=-DINET6
./distrib/utils/x_ifconfig/Makefile:8:CPPFLAGS+= -DINET6 -DINET_ONLY -I${SRCDIR}
./distrib/utils/x_ping6/Makefile:9:CPPFLAGS+=-DINET6

Should they not be there then?

nm -o *.o | grep getaddrinfo

shows nothing  but 

distrib/utils/x_ping6/ping6.o | grep getaddrinfo
         U getaddrinfo

I presume if we don't need INET6 then we don't need ping6?
I'm looking to save about 20k off the ramdisk...

--sjg