diff options
| author | Paul Brook <paul@codesourcery.com> | 2009-11-22 16:25:30 +0000 |
|---|---|---|
| committer | Paul Brook <paul@codesourcery.com> | 2009-11-22 21:24:54 +0000 |
| commit | a992fe3d0fc185112677286f7a02204d8245b61e (patch) | |
| tree | c3cc533d4bb8e1ed5dfebba895bdd4bdb31e67d4 /hw | |
| parent | 60c9af07aa1239fa7281326b691501378c9e53d1 (diff) | |
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>
Diffstat (limited to 'hw')
0 files changed, 0 insertions, 0 deletions