changeset 19505:86ae888bc0dd

Makefile: Make ChangeLog depend on .git/index instead of .git/ORIG_HEAD ORIG_HEAD doesn't necessarily exist, so maybe index is good for this.
author Timo Sirainen <timo.sirainen@dovecot.fi>
date Thu, 10 Dec 2015 11:14:26 +0200
parents f53928fd76fb
children e6aa0aa3d599
files Makefile.am
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile.am	Wed Dec 09 19:40:18 2015 +0200
+++ b/Makefile.am	Thu Dec 10 11:14:26 2015 +0200
@@ -22,7 +22,7 @@
 nodist_pkginclude_HEADERS = config.h
 
 if MAINTAINER_MODE
-ChangeLog: .git/ORIG_HEAD
+ChangeLog: .git/index
 	git log 2.2.alpha1..HEAD > ChangeLog
 endif