[Bug 278922] misc/ini_file_manager can't be built

In reply to: bugzilla-noreply_a_freebsd.org: "[Bug 278922] misc/ini_file_manager can't be built"
Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: <bugzilla-noreply_at_freebsd.org>
Date: Tue, 28 May 2024 05:29:35 UTC

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

--- Comment #2 from Robert William Vesterman <bob@vesterman.com> ---
How does one go about "using gprbuild instead"?

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