Another AppVeyor fix

black-sat · Jun 20, 2024 · ca6ad54 · ca6ad54
1 parent 05882dd
commit ca6ad54
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.appveyor.yml b/.appveyor.yml
@@ -85,7 +85,7 @@ build_script:
     -DZ3_LIBRARY=C:\Projects\z3\bin\libz3.lib \
     -DZ3_INCLUDE_DIR=C:\Projects\z3\include ..
   - cmake --build .
-  - cmake --build . --target pyblack
+  # - cmake --build . --target pyblack
   - copy C:\Projects\z3\bin\libz3.dll .
   - mkdir C:\BLACK
   - cd C:\