From b6294ab235a81b72a922a3138a1a6eb00491e5eb Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 11 Feb 2021 11:17:33 -0800 Subject: [PATCH] is glibc the new centos? Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 9f04593ab..8e30b12e2 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -264,7 +264,7 @@ stages: artifactName: 'Mac' targetPath: $(Agent.TempDirectory) - script: cd $(Agent.TempDirectory); mkdir osx-bin; cd osx-bin; unzip ../*osx*.zip - - script: cd $(Agent.TempDirectory); mkdir linux-bin; cd linux-bin; unzip ../*glibc-2.9*.zip + - script: cd $(Agent.TempDirectory); mkdir linux-bin; cd linux-bin; unzip ../*glibc-2.9.zip - script: cd $(Agent.TempDirectory); mkdir win32-bin; cd win32-bin; unzip ../*x86-win*.zip - script: cd $(Agent.TempDirectory); mkdir win64-bin; cd win64-bin; unzip ../*x64-win*.zip - script: python3 -m pip install --user -U setuptools wheel