diff options
-rw-r--r-- | misc/dejagnu/Makefile | 5 | ||||
-rw-r--r-- | misc/dejagnu/distinfo | 2 |
2 files changed, 2 insertions, 5 deletions
diff --git a/misc/dejagnu/Makefile b/misc/dejagnu/Makefile index d9eceb181468..9ceec0a69887 100644 --- a/misc/dejagnu/Makefile +++ b/misc/dejagnu/Makefile @@ -6,19 +6,16 @@ # PORTNAME= dejagnu -PORTVERSION= 1.4.0 +PORTVERSION= 1.4.1 CATEGORIES= misc tcl83 tk83 MASTER_SITES= ${MASTER_SITE_GNU} MASTER_SITE_SUBDIR= dejagnu -DISTFILES= dejagnu_1.4-0${EXTRACT_SUFX} MAINTAINER= ports@FreeBSD.org RUN_DEPENDS= expect:${PORTSDIR}/lang/expect USE_GMAKE= yes - -WRKSRC= ${WRKDIR}/dejagnu-1.4 GNU_CONFIGURE= yes .include <bsd.port.mk> diff --git a/misc/dejagnu/distinfo b/misc/dejagnu/distinfo index 0244d938db36..c92407ffe01f 100644 --- a/misc/dejagnu/distinfo +++ b/misc/dejagnu/distinfo @@ -1 +1 @@ -MD5 (dejagnu_1.4-0.tar.gz) = 01128318451bddffde61b7e3e01ffe71 +MD5 (dejagnu-1.4.1.tar.gz) = 1045a98e87f67eaa415b518ace043f6e |