diff options
author | Jeffrey Hutzelman <jhutz@cmu.edu> | 2013-01-29 02:37:43 -0500 |
---|---|---|
committer | Karl Ramm <kcr@1ts.org> | 2013-01-31 08:10:31 -0500 |
commit | bdde0a2186173cf947c09f2e533dcf9456345d55 (patch) | |
tree | 63260a18aa70fd1cc1880e38acffb818336b3750 /server/server.c | |
parent | 87af13270a47c7bb026a2d4d6275531f33ae43c7 (diff) |
configure: Don't require libdes to use libkrb
Depending on how it was built, libkrb may not have a libdes dependency,
and libdes may in fact not even exist. Don't fail unnecessarily in this
case.
Diffstat (limited to 'server/server.c')
0 files changed, 0 insertions, 0 deletions