diff --git a/Makefile b/Makefile index 3e1ea39d0f..6ebc39e105 100644 --- a/Makefile +++ b/Makefile @@ -564,6 +564,8 @@ clean: clean-depend $(MAKE) -C db1-ast clean $(MAKE) -C stdtime clean +distclean: dist-clean + dist-clean: clean rm -f menuselect.makeopts makeopts makeopts.xml rm -f config.log config.status