/krb5/util/build-tools/

• ../
• Makefile
• krb5-config.sh