18 # make sure configure uses the correct compiler
19 export CC=$(echo ".include <bsd.lib.mk>" | make -f /dev/stdin -VCC)
20 export CPP=$(echo ".include <bsd.lib.mk>" | make -f /dev/stdin -VCPP)
22 # regenerate configure and config.h.in
26 # generate config.h with krb5 and stash it
27 sh configure $configure_args --with-kerberos5
28 mv config.log config.log.orig
29 mv config.h config.h.orig
31 # generate config.h without krb5
32 sh configure $configure_args --without-kerberos5
34 # extract the difference
35 echo '/* $Free''BSD$ */' > krb5_config.h
36 diff -u config.h.orig config.h |
37 sed -n '/^-#define/s/^-//p' |
38 grep -Ff /dev/stdin config.h.orig >> krb5_config.h