From f16afe55d64031c551b13a9adf1e1acc2a9106eb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 31 Jan 2024 16:34:53 -0800
Subject: [PATCH] Update nightly.yaml for Azure Pipelines

---
 scripts/nightly.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index f70bdb5d0..97fcca775 100644
--- 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)/.