diff options
Diffstat (limited to 'devel/hat')
| -rw-r--r-- | devel/hat/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devel/hat/Makefile b/devel/hat/Makefile index cc7cb492a6e3..ba776eca92e9 100644 --- a/devel/hat/Makefile +++ b/devel/hat/Makefile @@ -27,6 +27,8 @@ PATCHFILES= patch-1.10-IO \ MAINTAINER= obraun@informatik.unibw-muenchen.de +FORBIDDEN= "Loops infinitely during build" + .if defined(WITH_TRACER) RUN_DEPENDS= ${LOCALBASE}/jdk1.1.8/bin/java:${PORTSDIR}/java/jdk BUILD_DEPENDS= ${LOCALBASE}/jdk1.1.8/bin/javac:${PORTSDIR}/java/jdk |