diff options
Diffstat (limited to 'devel/smv/Makefile')
| -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 |