From 9bfc82a14b95638bb51aaf6d8cbf7bd840178575 Mon Sep 17 00:00:00 2001
From: GoldenTails <milestailsprower101n2@gmail.com>
Date: Sun, 27 Mar 2022 20:14:54 -0500
Subject: [PATCH] Prevent comptime.* from failing compilation

---
 src/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Makefile b/src/Makefile
index c1aa35742..e24d301bc 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -357,9 +357,9 @@ $(dbg).txt : $(dbg)
 # this really updates comptime.h
 comptime.c ::
 ifdef WINDOWSHELL
-	$(.)..\comptime.bat .
+	-$(.)..\comptime.bat .
 else
-	$(.)../comptime.sh .
+	-$(.)../comptime.sh .
 endif
 
 # I wish I could make dependencies out of rc files :(
-- 
GitLab