18 # generate config.h with krb5 and stash it
19 sh configure $configure_args --with-kerberos5
20 mv config.log config.log.orig
21 mv config.h config.h.orig
23 # generate config.h without krb5
24 sh configure $configure_args --without-kerberos5
26 # extract the difference
27 echo '/* $Free''BSD$ */' > krb5_config.h
28 diff -u config.h.orig config.h |
29 sed -n '/^-#define/s/^-//p' |
30 grep -Ff /dev/stdin config.h.orig >> krb5_config.h