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 /zwgc | |
| 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 'zwgc')
0 files changed, 0 insertions, 0 deletions