[Bug 297240] Mk/Uses/mpi.mk: mpi:openmpi set in an option helper doesn't work

[email protected] Mon, 03 Aug 2026 07:38:56 +0000

Newsgroups	gmane.os.freebsd.devel.ports.bugs
Message-ID	<[email protected]/bugzilla/>

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=297240

Thierry Thomas <[email protected]> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |[email protected]
             Status|New                         |Open

--- Comment #1 from Thierry Thomas <[email protected]> ---
I just tried it, with a fresh ports tree (dated Mon Aug  3 09:30:00 CEST 2026),
and it works for me.

Have you anything else set in /etc/make.conf? Or some environment variable?

-- 
You are receiving this mail because:
You are the assignee for the bug.