diff options
| author | olgeni <olgeni@FreeBSD.org> | 2008-09-06 03:44:04 +0800 |
|---|---|---|
| committer | olgeni <olgeni@FreeBSD.org> | 2008-09-06 03:44:04 +0800 |
| commit | 9006000f5b1773a6849e3b4cf9607994bfde6dd8 (patch) | |
| tree | 523c29160532ff59e0a5197b93274edd3a57a1ce /devel | |
| parent | c72a4e44ae989b9a3e6dfdf745dcdd0488212cbd (diff) | |
| download | freebsd-ports-gnome-9006000f5b1773a6849e3b4cf9607994bfde6dd8.tar.gz freebsd-ports-gnome-9006000f5b1773a6849e3b4cf9607994bfde6dd8.tar.zst freebsd-ports-gnome-9006000f5b1773a6849e3b4cf9607994bfde6dd8.zip | |
Force rebuild with R12B-4.
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/esdl/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/esdl/Makefile b/devel/esdl/Makefile index 0acc84d2f9a7..51599ae8cdf6 100644 --- a/devel/esdl/Makefile +++ b/devel/esdl/Makefile @@ -7,7 +7,7 @@ PORTNAME= esdl PORTVERSION= 0.96.0626 -PORTREVISION= 4 +PORTREVISION= 5 CATEGORIES= devel MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= ${PORTNAME} |