From 0d1a5ae42d2ded7207bbb27502783471dde73945 Mon Sep 17 00:00:00 2001
From: "R. Matthew Emerson" <rme@acm.org>
Date: Mon, 22 Apr 2024 17:54:03 -0700
Subject: [PATCH] Update build-linux.yml

---
 .github/workflows/build-linux.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build-linux.yml b/.github/workflows/build-linux.yml
index d107f19e..f6655d15 100644
--- a/.github/workflows/build-linux.yml
+++ b/.github/workflows/build-linux.yml
@@ -10,7 +10,7 @@ jobs:
       - name: Build for Linux x86-64
         run: |
           cd ..
-          curl -L -O https://github.com/Clozure/ccl/releases/latest/download/linuxx86.tar.gz
+          curl --no-progress-meter -L -O https://github.com/Clozure/ccl/releases/latest/download/linuxx86.tar.gz
           cd ccl
-          tar xf ../linuxx8664.tar.gz
+          tar xf ../linuxx86.tar.gz
           ./lx86cl64 --batch --quiet -n -e '(rebuild-ccl :clean t)' </dev/null