diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-02-25 15:31:10 +0100 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-02-25 15:39:18 +0100 |
commit | 6900909e90dfa65d1c42bfcd67135e91317a8b2c (patch) | |
tree | a1369147d2e75271b06ba0400004d718a346fda7 /Makefile | |
parent | 09fcaf0c38580cc1cb279974517e2ea77c982da3 (diff) |
Fix phony targets. (Fix for bug #4083)
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -169,7 +169,7 @@ Makefile Makefile.build Makefile.common config/Makefile : ; # Cleaning ########################################################################### -.PHONY: clean cleankeepvo objclean cruftclean indepclean doclean archclean optclean clean-ide ml4clean ml4depclean depclean cleanconfig distclean voclean devdocclean +.PHONY: clean cleankeepvo objclean cruftclean indepclean docclean archclean optclean clean-ide ml4clean ml4depclean depclean cleanconfig distclean voclean devdocclean clean: objclean cruftclean depclean docclean devdocclean |