From 34c4f2ed8762043eb04ea73af59186a3213c0453 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jan=20R=C4=99korajski?= Date: Sun, 18 Nov 2012 14:13:57 +0100 Subject: [PATCH] - no parallel make for docs - rel 5 --- NuSMV.spec | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/NuSMV.spec b/NuSMV.spec index 56c0ba0..a46b79a 100644 --- a/NuSMV.spec +++ b/NuSMV.spec @@ -9,7 +9,7 @@ Summary: New Symbolic Model Verifier Summary(pl.UTF-8): Nowy weryfikator modeli symbolicznych Name: NuSMV Version: 2.5.4 -Release: 4 +Release: 5 License: LGPL Group: Applications Source0: http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz @@ -137,7 +137,7 @@ cd nusmv %{__make} -%{__make} docs +%{__make} -j1 docs %install rm -rf $RPM_BUILD_ROOT -- 2.44.0