Author: schubi2 Date: Mon Feb 11 15:56:42 2008 New Revision: 8610 URL: http://svn.opensuse.org/viewcvs/zypp?rev=8610&view=rev Log: cleanup; generate control file Modified: branches/tmp/ma/jump_sat/libzypp/zypp/sat/SATResolver.cc branches/tmp/ma/jump_sat/libzypp/zypp/solver/detail/Resolver.cc Modified: branches/tmp/ma/jump_sat/libzypp/zypp/sat/SATResolver.cc URL: http://svn.opensuse.org/viewcvs/zypp/branches/tmp/ma/jump_sat/libzypp/zypp/sat/SATResolver.cc?rev=8610&r1=8609&r2=8610&view=diff ============================================================================== --- branches/tmp/ma/jump_sat/libzypp/zypp/sat/SATResolver.cc (original) +++ branches/tmp/ma/jump_sat/libzypp/zypp/sat/SATResolver.cc Mon Feb 11 15:56:42 2008 @@ -95,8 +95,6 @@ , _dosplitprovides(false) { - Testcase testcase("/var/log/YaST2/autotestcase"); - testcase.createTestcasePool (pool); // dump pool to testcase } Modified: branches/tmp/ma/jump_sat/libzypp/zypp/solver/detail/Resolver.cc URL: http://svn.opensuse.org/viewcvs/zypp/branches/tmp/ma/jump_sat/libzypp/zypp/solver/detail/Resolver.cc?rev=8610&r1=8609&r2=8610&view=diff ============================================================================== --- branches/tmp/ma/jump_sat/libzypp/zypp/solver/detail/Resolver.cc (original) +++ branches/tmp/ma/jump_sat/libzypp/zypp/solver/detail/Resolver.cc Mon Feb 11 15:56:42 2008 @@ -248,11 +248,13 @@ // Solving with the satsolver MIL << "-------------- Calling SAT Solver -------------------" << endl; + Testcase testcase("/var/log/YaST2/autoTestcase"); if ( !_satResolver ) { sat::Pool satPool( sat::Pool::instance() ); _satResolver = new SATResolver(_pool, satPool.get()); - Testcase testcase("/var/log/YaST/autoTestcase"); testcase.createTestcase (*this, true, false); // create pool, do not solver + } else { + testcase.createTestcase (*this, false, false); // write control file only } #if 0 MIL << "------SAT-Pool------" << endl; -- To unsubscribe, e-mail: zypp-commit+unsubscribe@opensuse.org For additional commands, e-mail: zypp-commit+help@opensuse.org