From c5ba0b8e1eec664c7175767beb315a7bf97c2eb3 Mon Sep 17 00:00:00 2001
From: Michael Shaw <michael@abastionofsanity.com>
Date: Wed, 5 Oct 2022 14:43:21 -0400
Subject: [PATCH] no make on ubuntu:latest

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index ff6381a31..e3d8f8165 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -29,6 +29,7 @@ pipeline {
                 }
             steps {
                 echo 'Testing ...'
+                sh 'apt-get install make'
                 sh 'make test'
             }
         }