diff options
| author | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2012-02-09 18:33:31 +0000 |
|---|---|---|
| committer | Daniel De Graaf <dgdegra@tycho.nsa.gov> | 2012-02-09 18:33:31 +0000 |
| commit | 684315da98921a483d7c7bd2effc16a95aee6b93 (patch) | |
| tree | 2f8f84d55fb3c91cdf4f7ce688b88a4809ce38a1 /extras/mini-os/minios.mk | |
| parent | ca8a593cc7ff51d6360d16fce31f934c3026ded2 (diff) | |
| download | xen-684315da98921a483d7c7bd2effc16a95aee6b93.tar.gz xen-684315da98921a483d7c7bd2effc16a95aee6b93.tar.bz2 xen-684315da98921a483d7c7bd2effc16a95aee6b93.zip | |
mini-os: create app-specific configuration
Instead of using CONFIG_QEMU and CONFIG_GRUB to enable or disable minios
code, create CONFIG_ items for features and use application-specific
configuration files to enable or disable the features.
The configuration flags are currently added to the compiler command
line; as the number of flags grows this may need to move to a header.
Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Committed-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
Diffstat (limited to 'extras/mini-os/minios.mk')
| -rw-r--r-- | extras/mini-os/minios.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extras/mini-os/minios.mk b/extras/mini-os/minios.mk index 698648a904..48ed768cd3 100644 --- a/extras/mini-os/minios.mk +++ b/extras/mini-os/minios.mk @@ -39,8 +39,8 @@ LDFLAGS := $(DEF_LDFLAGS) $(ARCH_LDFLAGS) # Special build dependencies. # Rebuild all after touching this/these file(s) -EXTRA_DEPS = $(MINI-OS_ROOT)/minios.mk \ - $(MINI-OS_ROOT)/$(TARGET_ARCH_DIR)/arch.mk +EXTRA_DEPS += $(MINI-OS_ROOT)/minios.mk +EXTRA_DEPS += $(MINI-OS_ROOT)/$(TARGET_ARCH_DIR)/arch.mk # Find all header files for checking dependencies. HDRS := $(wildcard $(MINI-OS_ROOT)/include/*.h) |