From 5c4ad4fdd7217aa4c086b7cc99a8b37a437b7f07 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 31 Jan 2024 02:57:02 -0800
Subject: [PATCH] cd to dist in nightly.yaml

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 69aa87603..e28ad8849 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -94,6 +94,7 @@ stages:
     - script: sudo apt install ninja-build -y
     - script: |
           mkdir dist          
+          cd dist
           CXX=aarch64-linux-gnu-g++ CC=aarch64-linux-gnu-gcc cmake \
                       -DCMAKE_BUILD_TYPE=RelWithDebInfo\
                       -DZ3_BUILD_DOTNET_BINDINGS=ON\
@@ -107,11 +108,10 @@ stages:
                       -DCMAKE_INSTALL_PYTHON_PKG_DIR=bin/python\
                       -DZ3_BUILD_LIBZ3_SHARED=ON\
                       -DCMAKE_INSTALL_PREFIX=dist\
-                      -G "Ninja" ..
+                      -G "Ninja" /..
            ninja install
-    - script: |
-           cd dist
            zip bin z3-$(NightlyVersion)-ubuntu-arm64.zip
+           cd ..
     - script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/.
     - task: PublishPipelineArtifact@0
       inputs: