Makefile dependencies for device configs
authorPaul Brook <paul@codesourcery.com>
Sun, 22 Nov 2009 16:25:30 +0000 (16:25 +0000)
committerPaul Brook <paul@codesourcery.com>
Sun, 22 Nov 2009 21:24:54 +0000 (21:24 +0000)
commit912ad0f62aeaa88e2af3e20079b1fbb32fa74f78
treec3cc533d4bb8e1ed5dfebba895bdd4bdb31e67d4
parentc3ae047d9002e92bfb76b98fe4a00462616a8048
Makefile dependencies for device configs

Add makefile dependencies for target specific device configs.
These will copy the default config if none exists, obsoleting the old
configure time code.  If a config already exists but is older than the
default then print a warning.

Also remove config-devices.h.  Code does not and should not care which
devices are being built.

Signed-off-by: Paul Brook <paul@codesourcery.com>
Makefile
Makefile.target
config.h
configure