summaryrefslogtreecommitdiff
path: root/devel
diff options
context:
space:
mode:
Diffstat (limited to 'devel')
-rw-r--r--devel/Makefile3
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