Ed Maste
0ce9d0af5b
src.opts.mk: force KERBEROS_SUPPORT off where KERBEROS forced off
...
Explicitly setting WITHOUT_KERBEROS implies WITHOUT_KERBEROS_SUPPORT,
but previously other cases that forced KERBEROS off (such as
WITHOUT_CRYPT) did not also set KERBEROS_SUPPORT off. Because the
_SUPPORT dependent options (KERBEROS/KERBEROS_SUPPORT) are processed
before other dependencies (CRYPT/KERBEROS) it's not easy to make this
happen automatically. Instead just explicitly set KERBEROS_SUPPORT
off where we set KERBEROS off.
Reported by: Michael Dexter's Build Option Survey run
2020-01-10 22:00:39 +00:00
..
2019-09-17 06:07:08 +00:00
2017-11-04 21:02:26 +00:00
2019-12-20 19:53:05 +00:00
2020-01-03 23:31:38 +00:00
2019-11-15 16:43:36 +00:00
2019-09-05 14:15:47 +00:00
2020-01-09 20:07:38 +00:00
2018-05-24 18:49:19 +00:00
2019-11-15 21:19:06 +00:00
2019-09-05 14:15:47 +00:00
2019-09-05 14:15:47 +00:00
2019-11-21 15:59:33 +00:00
2018-10-20 20:51:05 +00:00
2019-12-10 12:12:48 +00:00
2019-09-05 14:16:39 +00:00
2019-07-04 14:51:44 +00:00
2019-11-21 15:59:33 +00:00
2020-01-08 17:49:34 +00:00
2019-10-07 19:05:05 +00:00
2019-12-05 19:37:30 +00:00
2017-11-06 19:33:50 +00:00
2018-06-29 16:07:56 +00:00
2019-09-16 00:32:23 +00:00
2018-05-31 13:26:12 +00:00
2017-12-06 21:00:41 +00:00
2019-11-22 18:41:09 +00:00
2019-11-20 21:06:29 +00:00
2020-01-08 17:49:34 +00:00
2019-09-04 18:32:11 +00:00
2019-10-31 20:37:19 +00:00
2019-07-19 00:15:25 +00:00
2018-09-17 22:15:09 +00:00
2019-06-15 17:08:18 +00:00
2019-12-21 02:43:49 +00:00
2019-11-21 15:59:33 +00:00
2019-02-20 01:09:03 +00:00
2019-01-15 23:35:53 +00:00
2019-12-11 17:38:15 +00:00
2019-12-11 17:38:15 +00:00
2019-12-11 17:38:15 +00:00
2019-04-22 18:40:46 +00:00
2019-02-21 03:36:09 +00:00
2019-11-21 18:14:26 +00:00
2018-08-02 21:33:45 +00:00
2019-12-11 17:38:15 +00:00
2020-01-04 20:19:25 +00:00
2020-01-04 20:19:25 +00:00
2019-12-11 17:38:15 +00:00
2017-11-08 16:03:58 +00:00
2019-06-15 17:08:28 +00:00
2019-11-21 19:54:10 +00:00
2018-08-02 21:33:45 +00:00
2018-08-02 21:33:45 +00:00
2018-08-02 21:33:45 +00:00
2019-12-11 17:38:15 +00:00
2018-07-27 10:44:38 +00:00
2020-01-04 20:19:25 +00:00
2019-11-18 23:21:13 +00:00
2020-01-10 22:00:39 +00:00
2018-03-03 23:23:01 +00:00
2017-11-02 18:09:07 +00:00
2018-06-27 16:58:10 +00:00
2019-09-25 17:52:59 +00:00
2019-07-22 10:17:59 +00:00
2018-07-27 10:44:38 +00:00
2017-11-27 15:28:26 +00:00