diff -r 7d025140477e -r 564a4a9862b1 configure
--- a/configure	Wed Dec 09 10:31:56 2009 +0100
+++ b/configure	Wed Dec 09 15:46:35 2009 +0100
@@ -761,7 +761,9 @@
 fi
 
 # Target dependent Makefiles
-MAKEFILES=$MAKEFILES\ drivers/$SUB_TARGET/Makefile.in
+if [ "$SUB_TARGET" != "none" ]; then
+    MAKEFILES=$MAKEFILES\ drivers/$SUB_TARGET/Makefile.in
+fi
 
 if [ "$SUB_TARGET" = "unix" -a "$SUB_TIMERS_DRIVER" = "kernel" ]; then
 	MAKEFILES=$MAKEFILES\