diff options
Diffstat (limited to 'devel/spin')
-rw-r--r-- | devel/spin/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devel/spin/Makefile b/devel/spin/Makefile index 579710f98a1a..e784df02618b 100644 --- a/devel/spin/Makefile +++ b/devel/spin/Makefile @@ -16,6 +16,8 @@ DISTFILES= spin${PORTVERSION:S/.//g}.tar.gz html.tar.gz MAINTAINER= jhanna@shaw.ca COMMENT= An on-the-fly verification system for asynchronous concurrent systems +BROKEN= Checksum mismatch + DIST_SUBDIR= spin WRKSRC= ${WRKDIR}/Src${PORTVERSION} MAKEFILE= make_unix |