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) https://github.com/krb5/krb5/commit/51ef4b50e46d21374319b7070ad63ba7bb672ee2 Author: Tom Yu Commit: 51ef4b50e46d21374319b7070ad63ba7bb672ee2 Branch: krb5-1.12 src/configure.in | 9 +++++++++ src/include/Makefile.in | 4 +++- src/include/osconf.hin | 4 ++-- 3 files changed, 14 insertions(+), 3 deletions(-)