From e9166a1f8575f11f695cbed6bb4b10b994d3b3b0 Mon Sep 17 00:00:00 2001 From: "David E. O'Brien" Date: Mon, 16 Jul 2001 23:26:50 +0000 Subject: [PATCH] Update to version 1.4.1. --- misc/dejagnu/Makefile | 5 +---- 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 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