1#!/bin/sh 2# 3# $FreeBSD$ 4# 5 6configure_args=" 7 --prefix=/usr 8 --sysconfdir=/etc/ssh 9 --with-pam 10 --with-tcp-wrappers 11 --with-libedit 12 --with-ssl-engine 13 --without-xauth 14" 15 16set -e 17 18# generate config.h with krb5 and stash it 19sh configure $configure_args --with-kerberos5 20mv config.log config.log.orig 21mv config.h config.h.orig 22 23# generate config.h without krb5 24sh configure $configure_args --without-kerberos5 25 26# extract the difference 27echo '/* $Free''BSD$ */' > krb5_config.h 28diff -u config.h.orig config.h | 29 sed -n '/^-#define/s/^-//p' | 30 grep -Ff /dev/stdin config.h.orig >> krb5_config.h 31