diff options
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 |