we need file, too

CafeOBJ · Sep 17, 2024 · d473c21 · d473c21
1 parent c782181
commit d473c21
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
@@ -22,7 +22,7 @@ jobs:
         options: -v ${{ github.workspace }}:/work 
         run: |
           apt update
-          apt install -y gcc
+          apt install -y gcc file
           cd /work/repo
           ./configure --with-lisp=sbcl --enable-distribution
           make