diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2015-04-12 15:21:08 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2015-04-12 15:21:33 -0700 |
commit | 3a4d0782520eab6c6466d640a4a261174f58ac19 (patch) | |
tree | 5cb042d06f4b370c76f605975d47ed5418064d96 /Makefile.in | |
parent | 9d7afc0cccff429587970a9350639bffd3c6c66e (diff) | |
download | emacs-3a4d0782520eab6c6466d640a4a261174f58ac19.tar.gz |
Update Makefile.in's .PHONY dependencies
* Makefile.in (change-history-commit, master-branch-is-current)
(no-ChangeLog): Now phony.
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 0830ddaf8ca..8a45f2cfee8 100644 --- a/Makefile.in +++ b/Makefile.in @@ -1087,10 +1087,13 @@ bootstrap: bootstrap-clean $(MAKE) MAKEFILE_NAME=force-Makefile force-Makefile $(MAKE) all +.PHONY: ChangeLog change-history change-history-commit +.PHONY: master-branch-is-current no-ChangeLog unchanged-history-files + # The newest revision that should not appear in the generated ChangeLog. gen_origin = 3311ace9c54a50b83a838e2eb7fa9565176e0c4f + # Convert git commit log to ChangeLog file. make-dist uses this. -.PHONY: ChangeLog change-history unchanged-history-files ChangeLog: $(AM_V_GEN)distprefix=$(distprefix) srcprefix=$(srcdir)/ \ $(srcdir)/build-aux/gitlog-to-emacslog $(gen_origin) |