SPECS: NuSMV.spec - removed no longer needed hacks

[baggins]

Author: baggins                      Date: Fri Sep 14 13:57:31 2007 GMT
Module: SPECS                         Tag: HEAD
---- Log message:
- removed no longer needed hacks

---- Files affected:
SPECS:
   NuSMV.spec (1.5 -> 1.6) 

---- Diffs:

================================================================
Index: SPECS/NuSMV.spec
diff -u SPECS/NuSMV.spec:1.5 SPECS/NuSMV.spec:1.6
--- SPECS/NuSMV.spec:1.5	Fri Sep 14 15:56:29 2007
+++ SPECS/NuSMV.spec	Fri Sep 14 15:57:26 2007
@@ -87,9 +87,6 @@
 
 %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
@@ -151,6 +148,9 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.6  2007/09/14 13:57:26  baggins
+- removed no longer needed hacks
+
 Revision 1.5  2007/09/14 13:56:29  baggins
 - up to 2.4.3
 
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/SPECS/NuSMV.spec?r1=1.5&r2=1.6&f=u