https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=199601
--- Comment #91 from Don Lewis <truck...@freebsd.org> --- Should we use the custom make.conf settings or not? It is easier to compare the exp-run results to the unpatched results if we leave make.conf alone, though we do lose some coverage. If we use the stock make.conf, then we could omit the mariadb patches since these ports don't use boost with their default option settings. -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ kde-freebsd mailing list kde-freebsd@kde.org https://mail.kde.org/mailman/listinfo/kde-freebsd See also http://freebsd.kde.org/ for latest information