diff options
Diffstat (limited to 'misc/dejagnu')
-rw-r--r-- | misc/dejagnu/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/misc/dejagnu/Makefile b/misc/dejagnu/Makefile index a4130ad06b12..66f6befd421c 100644 --- a/misc/dejagnu/Makefile +++ b/misc/dejagnu/Makefile @@ -1,12 +1,12 @@ # New ports collection makefile for: dejagnu -# Version required: 1.3 # Date created: 12 October 1996 # Whom: markm # # $FreeBSD$ # -DISTNAME= dejagnu-1.3 +PORTNAME= dejagnu +PORTVERSION= 1.3 CATEGORIES= misc tk80 MASTER_SITES= ${MASTER_SITE_GNU} MASTER_SITE_SUBDIR= dejagnu |