diff options
-rw-r--r-- | src/util/ChangeLog | 5 | ||||
-rw-r--r-- | src/util/reconf | 7 |
2 files changed, 11 insertions, 1 deletions
diff --git a/src/util/ChangeLog b/src/util/ChangeLog index eee5b0c773..2669b70c50 100644 --- a/src/util/ChangeLog +++ b/src/util/ChangeLog @@ -1,3 +1,8 @@ +2002-07-17 Ken Raeburn <raeburn@mit.edu> + + * reconf: Create include/krb5/autoconf.stmp on success if it + didn't already exist. + 2002-07-05 Ken Raeburn <raeburn@mit.edu> * Makefile.in (SLIBSH): Use vertical-bar instead of comma for diff --git a/src/util/reconf b/src/util/reconf index b896227c5b..39713eaefb 100644 --- a/src/util/reconf +++ b/src/util/reconf @@ -84,4 +84,9 @@ fi if $verbose ; then echo $autoreconf $autoreconfoptions -l $localdir --verbose $force fi -$autoreconf $autoreconfoptions -l $localdir --verbose $force +$autoreconf $autoreconfoptions -l $localdir --verbose $force +if test $? = 0 ; then + if test ! -d include/krb5/autoconf.stmp ; then + cp /dev/null include/krb5/autoconf.stmp + fi +fi |