diff options
| author | Pav Lucistnik <pav@FreeBSD.org> | 2009-11-22 19:49:43 +0000 |
|---|---|---|
| committer | Pav Lucistnik <pav@FreeBSD.org> | 2009-11-22 19:49:43 +0000 |
| commit | 8c2aab382d5ceff395ed38e45399378035c4968e (patch) | |
| tree | ea623aea7a81d860cc89359721fd92c71b84534d /devel/smv | |
| parent | e9cf7164b93e5dbdb7bef22c3dc3980161a34dad (diff) | |
| download | ports-8c2aab382d5ceff395ed38e45399378035c4968e.tar.gz ports-8c2aab382d5ceff395ed38e45399378035c4968e.zip | |
Notes
Diffstat (limited to 'devel/smv')
| -rw-r--r-- | devel/smv/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/smv/Makefile b/devel/smv/Makefile index 9a3e4d7ef9c2..0f75986f1699 100644 --- a/devel/smv/Makefile +++ b/devel/smv/Makefile @@ -17,6 +17,7 @@ COMMENT= Symbolic Model Verifier System for checking finite state systems WRKSRC= ${WRKDIR}/${PORTNAME} ALL_TARGET= ${PORTNAME} MAKEFILE= makefile +MAKE_JOBS_UNSAFE= yes MAN1= smv.1 |