Subject: CVS commit: pkgsrc/devel/frama-c
From: David A. Holland
Date: 2017-09-05 09:42:00
Message id: 20170905074200.64891FA97@cvs.NetBSD.org
Log Message:
Need to patch Makefile.in, not Makefile. Oops.
Files:
RevisionActionfile
1.8modifypkgsrc/devel/frama-c/distinfo
1.1addpkgsrc/devel/frama-c/patches/patch-src_plugins_e-acsl_Makefile.in
1.1removepkgsrc/devel/frama-c/patches/patch-src_plugins_e-acsl_Makefile