make distclean invoke cleantools (#158)

This commit is contained in:
wRadion 2022-08-26 02:30:19 +02:00 committed by GitHub
parent 748b7e9134
commit 029dcb9bdb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 15 additions and 15 deletions

View File

@ -1207,7 +1207,7 @@ clean:
cleantools:
$(MAKE) -s -C $(TOOLS_DIR) clean
distclean: clean
distclean: clean cleantools
$(PYTHON) extract_assets.py --clean
test: $(ROM)