| 1234567891011121314151617181920212223 | $Id: update-patches 24 2008-08-31 14:56:13Z wbx $--- heimdal-1.2.1.orig/tools/krb5-config.in	2008-07-28 14:04:32.000000000 +0200+++ heimdal-1.2.1/tools/krb5-config.in	2009-01-02 23:04:28.000000000 +0100@@ -71,15 +71,10 @@ if test "$do_usage" = "yes"; then     exit $usage_exit fi -if test "$prefix" = ""; then-  prefix=@prefix@-fi-if test "$exec_prefix" = ""; then-  exec_prefix=@exec_prefix@-fi--libdir=@libdir@-includedir=@includedir@+prefix=@prefix@+exec_prefix=$prefix+libdir=${prefix}/lib+includedir=${prefix}/include  if test "$print_prefix" = "yes"; then     echo $prefix
 |