From 6cfde35fb96d277b0d2b79a91ffb2788a861e2ef Mon Sep 17 00:00:00 2001
From: Michael <michael.poluektov@gmail.com>
Date: Wed, 22 Nov 2023 13:53:27 +0000
Subject: [PATCH] debug 3

---
 Jenkinsfile | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index baa3a1d3f..ce3768509 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -41,11 +41,13 @@ pipeline {
                     // build runtime
                     createZip("linux")
                     dir("python/xmos_ai_tools/runtime") {
-                        sh "ls"
                         unstash "release_archive_linux" 
-                        sh "unzip release_archive.zip"
-                        sh "rm release_archive.zip"
-                        sh "ls"
+                        sh """
+                            unzip release_archive.zip
+                            rm release_archive.zip
+                            ls lib
+                            ls include
+                        """
                     }
                     dir("python/xmos_ai_tools/xinterpreters/build") {
                         sh "cmake .."