diff options
Diffstat (limited to 'tools/firmware/Makefile')
-rw-r--r-- | tools/firmware/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/firmware/Makefile b/tools/firmware/Makefile index 5d40bcd2f8..696c7afc67 100644 --- a/tools/firmware/Makefile +++ b/tools/firmware/Makefile @@ -55,3 +55,8 @@ seabios-dir-force-update: $(GIT) fetch origin; \ $(GIT) reset --hard $(SEABIOS_UPSTREAM_TAG); \ fi + +subdir-clean-seabios-dir: + set -e; if test -d seabios-dir/.; then \ + $(MAKE) -C seabios-dir clean; \ + fi |