From 09ba77aa561cae40234167890c4383b92f8b94d8 Mon Sep 17 00:00:00 2001
From: Randy Palamar <palamar@ualberta.ca>
Date: Thu, 17 Aug 2023 16:12:17 -0600
Subject: [PATCH] build: don't use the '|' GNU extension

---
 Makefile | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 16a630a57..da8de292a 100644
--- a/Makefile
+++ b/Makefile
@@ -80,12 +80,13 @@ config.h:
 config.mk:
 	@touch $@
 
-obj:
+obj/.tstamp:
 	mkdir obj
+	touch obj/.tstamp
 
-obj/main.o: config.h | obj
+obj/main.o: config.h
 
-$(OBJ): config.mk | obj
+$(OBJ): config.mk obj/.tstamp
 	${CC} ${CFLAGS} ${CFLAGS_VIS} ${CFLAGS_EXTRA} -o $@ -c $(@:obj/%.o=%.c)
 
 -include obj/*.d