diff options
| author | jschauma <jschauma@pkgsrc.org> | 2002-09-24 18:04:37 +0000 |
|---|---|---|
| committer | jschauma <jschauma@pkgsrc.org> | 2002-09-24 18:04:37 +0000 |
| commit | 55622ada9a4c791bac2aa53d8f9e966041345ebf (patch) | |
| tree | 7e88b7bb1c1f5d3fe7498b36807ab94c1e65af48 /devel | |
| parent | c52ab02f486b19b8801186cfb413b67ec9e5ef6b (diff) | |
| download | pkgsrc-55622ada9a4c791bac2aa53d8f9e966041345ebf.tar.gz | |
Add and enable pvs.
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/devel/Makefile b/devel/Makefile index 5d2cc2df590..850049288a5 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.328 2002/09/21 01:05:16 rh Exp $ +# $NetBSD: Makefile,v 1.329 2002/09/24 18:04:37 jschauma Exp $ # COMMENT= Development utilities @@ -272,6 +272,7 @@ SUBDIR+= prc-tools-gdb SUBDIR+= prcs SUBDIR+= pth SUBDIR+= ptl2 +SUBDIR+= pvs SUBDIR+= pwlib SUBDIR+= py-Checker SUBDIR+= py-Optik |