Update nightly.yaml for Azure Pipelines

Z3Prover · Feb 1, 2024 · f16afe5 · f16afe5
1 parent 9a095cc
commit f16afe5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
@@ -107,7 +107,7 @@ stages:
                       -DCMAKE_INSTALL_PYTHON_PKG_DIR=bin/python\
                       -DZ3_BUILD_LIBZ3_SHARED=ON\
                       -DCMAKE_INSTALL_PREFIX=dist\
-                      -G "Ninja" ../
+                      -G "Ninja" .
            ninja install
            zip -r z3-$(NightlyVersion)-ubuntu-arm64.zip dist
     - script: cp *.zip $(Build.ArtifactStagingDirectory)/.