Install make

.github/workflows/build.yaml

@@ -14,7 +14,7 @@ jobs:
       - name: Configure build machine
         run: |
           apt update
-          apt install -y -q apt-transport-https curl git software-properties-common sudo wget
+          apt install -y -q apt-transport-https curl git software-properties-common sudo wget make
           # The keyboard-configuration package is needed later and requires the user to input a number via dpkg-reconfigure, so preinstall it without front-end to avoid blocking the later installations
           DEBIAN_FRONTEND=noninteractive apt install -y -q keyboard-configuration
       - name: Checkout sources