summaryrefslogtreecommitdiff
path: root/devel/pvs
diff options
context:
space:
mode:
authorjoerg <joerg>2009-06-14 18:48:07 +0000
committerjoerg <joerg>2009-06-14 18:48:07 +0000
commitdd2419dca131f77a29cbac94d8fec1476754b6ac (patch)
tree3ca5055692d836309a06064f905db9b5b6835863 /devel/pvs
parentf850970cf3a357ff12de97bac75ffc1a652d4dd0 (diff)
downloadpkgsrc-dd2419dca131f77a29cbac94d8fec1476754b6ac.tar.gz
Convert @exec/@unexec to @pkgdir or drop it.
Diffstat (limited to 'devel/pvs')
-rw-r--r--devel/pvs/PLIST4
1 files changed, 2 insertions, 2 deletions
diff --git a/devel/pvs/PLIST b/devel/pvs/PLIST
index e739a624609..aaf273c5144 100644
--- a/devel/pvs/PLIST
+++ b/devel/pvs/PLIST
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.9 2009/06/14 17:49:03 joerg Exp $
+@comment $NetBSD: PLIST,v 1.10 2009/06/14 18:48:14 joerg Exp $
bin/pvs
pvs/README
pvs/bin/pvs-platform
@@ -520,4 +520,4 @@ pvs/pvs.sty
pvs/wish/gray.xbm
pvs/wish/pvs-support.tcl
pvs/wish/sequent.xbm
-@exec ${MKDIR} %D/pvs/Examples
+@pkgdir pvs/Examples