Don't enable --with-mm in CI

Turns out this has a large negative effect on startup time,
making tests much slower.

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index acdf32204ba64361b76c8d0f4fe7b3d0bfbd3608..688d36c148545fecdcceaec789d06ae5d0f82878 100644 (file)
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -12,11 +12,10 @@ trigger:
       - UPGRADING.INTERNALS
 
 jobs:
-  # We specify --with-mm here, because it cannot be used together with --enable-maintainer-zts.
   - template: azure/job.yml
     parameters:
       configurationName: DEBUG_NTS
-      configurationParameters: '--enable-debug --disable-maintainer-zts --with-mm'
+      configurationParameters: '--enable-debug --disable-maintainer-zts'
   - template: azure/job.yml
     parameters:
       configurationName: RELEASE_ZTS
@@ -37,7 +36,7 @@ jobs:
     - template: azure/job.yml
       parameters:
         configurationName: RELEASE_NTS
-        configurationParameters: '--disable-debug --disable-maintainer-zts --with-mm'
+        configurationParameters: '--disable-debug --disable-maintainer-zts'
     - template: azure/i386/job.yml
       parameters:
         configurationName: I386_DEBUG_NTS