tijl 8ecd4e0193 Don't install GSS-API headers when the GSSAPI option has been disabled.
Some ports assume GSS-API is supported when they find the headers.

PR:		189156
Submitted by:	Garrett Cooper <yanegomi@gmail.com>
2014-06-13 10:08:18 +00:00
..
2014-01-23 02:47:36 +00:00
2013-04-23 13:03:03 +00:00
2013-05-25 16:58:12 +00:00