From c5e4462d9b3264a2221a191b3c293d2de7d6666a Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jan=20R=C4=99korajski?= <baggins@pld-linux.org>
Date: Fri, 14 Sep 2007 13:57:26 +0000
Subject: [PATCH] - removed no longer needed hacks

Changed files:
    NuSMV.spec -> 1.6
---
 NuSMV.spec | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/NuSMV.spec b/NuSMV.spec
index 1566b8b..c24c314 100644
--- a/NuSMV.spec
+++ b/NuSMV.spec
@@ -86,9 +86,6 @@ Statyczna biblioteka NuSMV.
 
 %build
 cd nusmv
-#mkdir -p src/{sa/{fmea,stsa},mbp,mathsat}
-#touch src/sa/Makefile.in src/sa/fmea/Makefile.in src/sa/stsa/Makefile.in \
-#	src/mbp/Makefile.in src/mathsat/Makefile.in
 
 ICFLAGS="%{rpmcflags}"
 export ICFLAGS
-- 
2.44.0