Fixing appveyor build

msoos · msoos · commit 5566d44ab433 · 2017-04-23T16:17:47.000+01:00
diff --git a/appveyor.yml b/appveyor.yml
@@ -62,8 +62,6 @@ build_script:
 
   # minisat
   - cd C:\projects\minisat
-  - cd minisat
-  - echo %cd%
   - mkdir build
   - mkdir myinstall
   - cd build
