[krbdev.mit.edu #7317] git commit

[Benjamin Kaduk via RT]

Be smarter about installing debug symbols

We know when we're going to generate debug symbols, so only attempt
to install them when we know they should be present.

This eliminates the need to tell make to ignore errors from the shell
on these steps.

https://github.com/krb5/krb5/commit/b6d5e3af806bb60c37a831a72eff3e7e99bea6e9
Author: Ben Kaduk <kaduk at mit.edu>
Commit: b6d5e3af806bb60c37a831a72eff3e7e99bea6e9
Branch: master
 src/Makefile.in       |   38 +++++++++++++++++++-------------------
 src/config/win-pre.in |    6 ++++++
 2 files changed, 25 insertions(+), 19 deletions(-)