diff options
| author | pav <pav@FreeBSD.org> | 2009-11-23 03:49:43 +0800 |
|---|---|---|
| committer | pav <pav@FreeBSD.org> | 2009-11-23 03:49:43 +0800 |
| commit | d04184ca2296e3e063282f330dc7e508e84911a3 (patch) | |
| tree | 4179a3cb6b779813e5c9f72a6fae142bcad8f20a /devel/smv | |
| parent | 4ae8809556ff989106eea3aa05f065c2850884ee (diff) | |
| download | freebsd-ports-gnome-d04184ca2296e3e063282f330dc7e508e84911a3.tar.gz freebsd-ports-gnome-d04184ca2296e3e063282f330dc7e508e84911a3.tar.zst freebsd-ports-gnome-d04184ca2296e3e063282f330dc7e508e84911a3.zip | |
- Mark MAKE_JOBS_UNSAFE
Reported by: pointyhat
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 |