- removed no longer needed hacks

Changed files:
    NuSMV.spec -> 1.6

diff --git a/NuSMV.spec b/NuSMV.spec
index 1566b8b01f79201a2de5c3b01ef040171cb956d4..c24c3140591969625581ad564deb544cccdcf61a 100644 (file)
--- 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