changeset 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 9c7a9b9d793b
files configure
diffstat 1 files changed, 0 insertions(+), 5 deletions(-) [+]
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; }