diff options
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -116,6 +116,6 @@ distclean: dirclean config-clean rm -rf dl .*config* .pkg* .prereq -.SILENT: clean dirclean distclean config-clean +.SILENT: clean dirclean distclean config-clean download world .PHONY: FORCE FORCE: |