Subject: CVS commit: pkgsrc/math/yices2
From: Alexander Nasonov
Date: 2019-08-26 23:11:28
Message id: 20190826211128.B49AFFBF4@cvs.NetBSD.org

Log Message:
Add TEST_TARGET.

Current score on -current amd64: Pass: 861, Fail: 171.

Files:
RevisionActionfile
1.2modifypkgsrc/math/yices2/Makefile