diff options
Diffstat (limited to 'makefiles/gmake/top.mk')
-rw-r--r-- | makefiles/gmake/top.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/makefiles/gmake/top.mk b/makefiles/gmake/top.mk index 1210751..037c37f 100644 --- a/makefiles/gmake/top.mk +++ b/makefiles/gmake/top.mk @@ -24,6 +24,7 @@ all: clean: @test -z "$(SUBDIRS)" || ( set -e; for d in $(SUBDIRS)""; do \ (set -e; $(MAKE) -C $$d clean || exit 1); done) + @-rm $(TOPDIR)/makefiles/gmake/platform.mk.vars .PHONY: distclean distclean: |