diff options
| author | Satoshi Asami <asami@FreeBSD.org> | 2000-04-14 08:49:30 +0000 |
|---|---|---|
| committer | Satoshi Asami <asami@FreeBSD.org> | 2000-04-14 08:49:30 +0000 |
| commit | dad9a57abe0907e2d451ff263083a9d1d82dfca2 (patch) | |
| tree | 4e676da1d8e6e15fa064f8de419e97dbd5a58d94 /misc/dejagnu | |
| parent | 9467713b6447f007838ba7219286cb78e90c02f7 (diff) | |
| download | ports-dad9a57abe0907e2d451ff263083a9d1d82dfca2.tar.gz ports-dad9a57abe0907e2d451ff263083a9d1d82dfca2.zip | |
Notes
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 |