Don't double-log (actually, don't process /etc/krb5.conf twice) just
because we built with --sysconfdir=/etc.  RT#3277

---
 src/include/Makefile.in |    2 ++
 1 file changed, 2 insertions(+)

Index: krb5-1.12.2/src/include/Makefile.in
===================================================================
--- krb5-1.12.2.orig/src/include/Makefile.in	2014-08-30 23:08:41.000000000 +0100
+++ krb5-1.12.2/src/include/Makefile.in	2014-08-30 23:09:04.000000000 +0100
@@ -68,6 +68,8 @@ PROCESS_REPLACE = -e "s+@KRB5RCTMPDIR+$(
 		  -e "s+@GSSMODULEDIR+$(GSS_MODULE_DIR)+" \
 		  -e 's+@LOCALSTATEDIR+$(LOCALSTATEDIR)+' \
 		  -e 's+@SYSCONFDIR+$(SYSCONFDIR)+' \
+		  -e 's+:/etc/krb5.conf:/etc/krb5.conf"+:/etc/krb5.conf"+' \
+		  -e 's+"/etc/krb5.conf:/etc/krb5.conf"+"/etc/krb5.conf"+' \
 		  -e 's+@DYNOBJEXT+$(DYNOBJEXT)+' \
 		  -e 's+@SYSCONFCONF+$(SYSCONFCONF)+'