From 09a4a53af4408ce12dfb2668936ba845019fa7b9 Mon Sep 17 00:00:00 2001
From: Hans Dijkema <hans@dijkewijk.nl>
Date: Tue, 11 Aug 2026 22:54:42 +0200
Subject: [PATCH] Added 'linux' entry

---
 Makefile.rkt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Makefile.rkt b/Makefile.rkt
index 7bf01e7..7e032da 100644
--- a/Makefile.rkt
+++ b/Makefile.rkt
@@ -39,3 +39,8 @@
         (deps housekeeping)
         (displayln "Switching to x86_64-linux")
         (dgit 'switch "x86_64-linux"))
+
+(target linux
+        (deps linux-x86_64))
+
+