From 9f6e7b164c42fbf6c245bb58691bc9413b3c44da Mon Sep 17 00:00:00 2001
From: David Declerck <david.declerck@ocamlpro.com>
Date: Sat, 18 Jan 2025 18:00:04 +0100
Subject: [PATCH] Update Ubuntu Workflow

---
 .github/workflows/ubuntu.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
index b2128280c..c0e55ea03 100644
--- 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:
       # ...