From 5859e5a2e6d9f86ee427cad2e4305515a2571075 Mon Sep 17 00:00:00 2001
From: Emil Lerch <emil@lerch.org>
Date: Mon, 24 Apr 2023 17:56:52 -0700
Subject: [PATCH] add make to the final install as well

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

diff --git a/Dockerfile b/Dockerfile
index 9e530d6..cc0e98b 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -64,6 +64,7 @@ COPY --from=build /usr/local/riscv64-unknown-elf /usr/local/
 RUN true && \
     apt-get update && \
     apt-get install -y --no-install-recommends \
+        make \
         cmake \
         && \
     apt-get clean && \