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 /Makefile.target | |
| 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 'Makefile.target')
| -rw-r--r-- | Makefile.target | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.target b/Makefile.target index ab774e529b..2985658d9d 100644 --- a/Makefile.target +++ b/Makefile.target @@ -1,7 +1,7 @@ # -*- Mode: makefile -*- # This needs to be defined before rules.mak -GENERATED_HEADERS = config-target.h config-devices.h +GENERATED_HEADERS = config-target.h include ../config-host.mak include config-devices.mak |