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

Reply via email to