diff options
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 |