diff options
author | Jason Gross <jagro@google.com> | 2016-07-21 08:40:56 -0700 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2016-07-21 08:40:56 -0700 |
commit | f41ace6b51dc580d94e28897a08cc1aebf1bdcc2 (patch) | |
tree | 8ffdbac55459fe00002d28c2616a3b98b40a4003 /Makefile | |
parent | 918d8707fac5c087565972c93ce2c9c79d4f7b61 (diff) |
Fix clean target
This is the problem with copy-paste solutions. (Thanks @jadephilipoom)
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -64,7 +64,10 @@ install-coqprime: Makefile.coq: Makefile _CoqProject $(SHOW)'COQ_MAKEFILE -f _CoqProject > $@' - $(HIDE)$(COQBIN)coq_makefile -f _CoqProject | sed s'|^\(-include.*\)$$|ifneq ($$(filter-out $(FAST_TARGETS),$$(MAKECMDGOALS)),)~\1~else~ifeq ($$(MAKECMDGOALS),)~\1~endif~endif|g' | tr '~' '\n' | sed s'/^clean:$$/clean-old::/g' | sed s'/^clean::$$/clean-old::/g' | sed s'/^Makefile: /Makefile-old: /g' > $@ + $(HIDE)$(COQBIN)coq_makefile -f _CoqProject | sed s'|^\(-include.*\)$$|ifneq ($$(filter-out $(FAST_TARGETS),$$(MAKECMDGOALS)),)~\1~else~ifeq ($$(MAKECMDGOALS),)~\1~endif~endif|g' | tr '~' '\n' | sed s'/^clean:$$/clean::/g' | sed s'/^Makefile: /Makefile-old: /g' > $@ + +clean:: + rm -f Makefile.coq cleanall:: clean clean-coqprime rm -f .dir-locals.el |