diff --git a/main/Makefile b/main/Makefile index a559810fbc..2ea809699c 100644 --- a/main/Makefile +++ b/main/Makefile @@ -149,5 +149,3 @@ clean:: @$(MAKE) -C db1-ast clean @$(MAKE) -C stdtime clean @$(MAKE) -C minimime clean - -.PHONY: minimime/libmmime.a