gdev: minor fixes to configure

lib/configure

@@ -36,9 +36,18 @@ elif [ $target = 'user' ] ; then
 	if [ $(echo ${#driver}) -eq  0 ] ; then
 		# detect which driver to be used
 		sh ./autogen.sh
-		. ./Driver.mk
 	else
-		DRIVER_NAME=$driver
+		# create Driver.mk
+		cat > Driver.mk << EOF
+#
+# Copyright (C) Shinpei Kato
+# All Rights Reserved
+#
+# This is automatically generated by autogen.sh script.
+#
+
+DRIVER_NAME=$driver
+EOF
 		DRIVER=$(echo $driver | tr "a-z" "A-Z")
 		# create gdev_autogen.h
 		cat > gdev_autogen.h << EOF
@@ -53,6 +62,8 @@ elif [ $target = 'user' ] ; then
 #define GDEV_DRIVER_$DRIVER
 EOF
 	fi
+	# include $DRIVER_NAME
+	. ./Driver.mk
 	# copy driver-dependent files
 	cp -f ../user/$DRIVER_NAME/* .
 else