CVS: cvs.openbsd.org: ports

[Stuart Henderson]

CVSROOT:        /cvs
Module name:    ports
Changes by:     st...@cvs.openbsd.org   2025/11/14 18:02:22

Modified files:
        math/prover9/p9m4: Makefile 

Log message:
drop PKG_ARCH=* so that PKG_ARGS -V is used