diff configure @ 23764:cd8985396f48

Let us not pretend to be checking for devfs when we are not.
author diego
date Sat, 14 Jul 2007 15:16:34 +0000
parents 926ca3ac30e5
children b555c8626c34
line wrap: on
line diff
--- a/configure	Sat Jul 14 15:13:25 2007 +0000
+++ b/configure	Sat Jul 14 15:16:34 2007 +0000
@@ -3307,11 +3307,6 @@
 echores "$_shm"
 
 
-# XXX: FIXME, add runtime checking
-echocheck "linux devfs"
-echores "$_linux_devfs"
-
-
 echocheck "scandir()"
 cat > $TMPC << EOF
 int main (void) { scandir("", 0, 0, 0); alphasort(0, 0); return 0; }