diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index e3afa4ef7..57c71364a 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -249,6 +249,6 @@ jobs:
         ninja test-z3
         cd ..
     - template: scripts/test-z3.yml
-    - template: scripts/test-examples-cmake.yml
+#   - template: scripts/test-examples-cmake.yml
     - template: scripts/test-regressions.yml
 #   - template: scripts/test-java-cmake.yml
diff --git a/scripts/test-examples-cmake.yml b/scripts/test-examples-cmake.yml
index f47e4c7e8..e5b36bacd 100644
--- a/scripts/test-examples-cmake.yml
+++ b/scripts/test-examples-cmake.yml
@@ -9,7 +9,7 @@ steps:
     examples/c_example_build_dir/c_example
     examples/cpp_example_build_dir/cpp_example
     examples/tptp_build_dir/z3_tptp5 -help
-    echo examples/c_maxsat_example_build_dir/c_maxsat_example ../examples/maxsat/ex.smt
+    examples/c_maxsat_example_build_dir/c_maxsat_example ../examples/maxsat/ex.smt
     cd ..