diff options
-rw-r--r-- | support/make/default.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/make/default.mk b/support/make/default.mk index b3bac12271..e8a11d1546 100644 --- a/support/make/default.mk +++ b/support/make/default.mk @@ -18,7 +18,7 @@ default.force : default.clean : $(RM) core *~ -default.distclean : default.clean +default.distclean : clean .PHONY : all |