diff options
| -rw-r--r-- | java/java-cup/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/java/java-cup/Makefile b/java/java-cup/Makefile index fff87ad2effb..ff056bdc5b66 100644 --- a/java/java-cup/Makefile +++ b/java/java-cup/Makefile @@ -9,7 +9,8 @@ PORTNAME= cup PORTVERSION= 11.a PORTREVISION= 1 CATEGORIES= java devel -MASTER_SITES= http://www2.cs.tum.edu/projects/cup/ +MASTER_SITES= http://www2.cs.tum.edu/projects/cup/ \ + http://mirrors.mcdermottroe.com/www2.cs.tum.edu/projects/cup/ PKGNAMEPREFIX= java- DISTNAME= ${PKGNAMEPREFIX}${PORTNAME}-v${PORTVERSION:S|.||}-20050516-sources |