diff options
| author | Jean-Christophe PLAGNIOL-VILLARD <plagnioj@jcrosoft.com> | 2011-08-22 21:28:48 +0200 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2011-08-24 14:43:56 +0200 |
| commit | 83f1bf9e4553ab4ac01f17566b3f74df8058987d (patch) | |
| tree | 331ad5c1f3f7e4a85bb1873eb9d854d51da337c4 /boot/barebox | |
| parent | f5777ce8fbd60c216234de58147f25dfaac88fe6 (diff) | |
barebox: add barebox-<n/x/menu>config and barebox-savedefconfig support
[Peter: only activate if barebox is enabled, fix deps]
Signed-off-by: Jean-Christophe PLAGNIOL-VILLARD <plagnioj@jcrosoft.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'boot/barebox')
| -rw-r--r-- | boot/barebox/barebox.mk | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/boot/barebox/barebox.mk b/boot/barebox/barebox.mk index 5c615f862..d3143e69a 100644 --- a/boot/barebox/barebox.mk +++ b/boot/barebox/barebox.mk @@ -60,4 +60,14 @@ ifeq ($(BAREBOX_BOARD_DEFCONFIG),) $(error No Barebox defconfig file. Check your BR2_TARGET_BAREBOX_BOARD_DEFCONFIG setting) endif endif + +barebox-menuconfig barebox-xconfig barebox-gconfig barebox-nconfig: barebox-configure + $(MAKE) $(BAREBOX_MAKE_FLAGS) -C $(BAREBOX_DIR) \ + $(subst barebox-,,$@) + rm -f $(BAREBOX_DIR)/.stamp_{built,target_installed,images_installed} + +barebox-savedefconfig: barebox-configure + $(MAKE) $(BAREBOX_MAKE_FLAGS) -C $(BAREBOX_DIR) \ + $(subst barebox-,,$@) + endif |