[krbdev.mit.edu #8084] git commit

[Tom Yu via RT]

Avoid duplicate "/etc/krb5.conf" in profile path

If configure gets run with --sysconfdir=/etc, "/etc/krb5.conf" shows
up twice in the profile path, which causes its contents to be read
twice.  This can cause some confusing and possibly problematic
behavior.

Add some logic to configure.in to avoid adding the duplicate entry for
"/etc/krb5.conf".

Reported independently by Denis Vlasenko and Fredrik Tolf.

(back ported from commit 8df1965d1ccdbcb8d74a3e68ad35d7579db9ac44)
(cherry picked from commit 51ef4b50e46d21374319b7070ad63ba7bb672ee2)

https://github.com/krb5/krb5/commit/2158fa3a0aa3c0f0717cea3e1da1c77867e3c798
Author: Tom Yu <tlyu at mit.edu>
Commit: 2158fa3a0aa3c0f0717cea3e1da1c77867e3c798
Branch: krb5-1.11
 src/configure.in        |    9 +++++++++
 src/include/Makefile.in |    4 +++-
 src/include/osconf.hin  |    4 ++--
 3 files changed, 14 insertions(+), 3 deletions(-)