https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=239682
--- Comment #7 from Gleb Popov <arr...@freebsd.org> --- (In reply to Jan Beich from comment #6) I've done that, but I believe it's much easier to fix KLEE dependency to llvm80 instead of LLVM_DEFAULT. -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ freebsd-gecko@freebsd.org mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-gecko To unsubscribe, send any mail to "freebsd-gecko-unsubscr...@freebsd.org"