From b6377c2d4c48e53c07575d266df0a8e67cef23aa Mon Sep 17 00:00:00 2001
From: larstvei <larstvei@ifi.uio.no>
Date: Sat, 30 Aug 2025 15:31:02 +0200
Subject: [PATCH] Ensure make is installed

---
 home/tools/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/home/tools/default.nix b/home/tools/default.nix
index eb93c55..0b626df 100644
--- a/home/tools/default.nix
+++ b/home/tools/default.nix
@@ -34,6 +34,7 @@ with pkgs;
   ];
 
   utils = [
+    gnumake
     jet
     jq
     pandoc