diff --git a/azure-pipelines.yml b/azure-pipelines.yml index ebbb6f963..14d64a45a 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -14,7 +14,7 @@ jobs: strategy: matrix: MT: - cmdLine: 'python scripts/mk_make.py -d --java --dotnet' + cmdLine: 'python scripts/mk_make.py -d --java --dotnet --ml' ST: cmdLine: './configure --single-threaded' steps: