Update Ubuntu Workflow

ddeclerck · Jan 18, 2025 · 9f6e7b1 · 9f6e7b1
1 parent 6efdaba
commit 9f6e7b1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
@@ -52,7 +52,7 @@ jobs:
 
       - name: Bootstrap
         run: |
-          ./build_aux/bootstrap
+          ./build_aux/bootstrap install
 
       # FIXME: With TERM="dumb" `make check` fails with:
       # ...