From b644d3f4546a2dd8e4a7f631b13c289d2df9b02e Mon Sep 17 00:00:00 2001
From: JustAnotherArchivist <JustAnotherArchivist@users.noreply.github.com>
Date: Sat, 29 Apr 2023 21:33:34 +0000
Subject: [PATCH] Rebuild when .make-and-exec changes

---
 .make-and-exec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.make-and-exec b/.make-and-exec
index 0711f15..6c501c1 100755
--- a/.make-and-exec
+++ b/.make-and-exec
@@ -6,7 +6,7 @@
 sourcename="${0%-dbg}.c"
 if [[ "$0" == *-dbg ]]; then opt='-Og -fsanitize=undefined,address -DDEBUG'; else opt='-O3'; fi
 targetfile="$(dirname "$0")/.make-and-exec-binaries/$(basename "$0")"
-if [[ ! -f "${targetfile}" || "${sourcename}" -nt "${targetfile}" ]]; then
+if [[ ! -f "${targetfile}" || "${sourcename}" -nt "${targetfile}" || "${BASH_SOURCE}" -nt "${targetfile}" ]]; then
 	mkdir -p "$(dirname "$0")/.make-and-exec-binaries"
 	gcc ${opt} ${CFLAGS} -o "${targetfile}" "${sourcename}" || exit
 	testfile="$(dirname "$0")/.$(basename "${0%-dbg}")-test"