From 1273763bae12edbaa78d2dd45ff75a98b8f8ee66 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Wed, 16 Nov 2022 22:26:00 -0500 Subject: Makefile --- Makefile.ward | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile.ward b/Makefile.ward index db583a138d..9146c4b32e 100644 --- a/Makefile.ward +++ b/Makefile.ward @@ -9,6 +9,7 @@ CPP_FLAGS = \ -Irts/include \ -Irts/dist/build \ -I_build/stage1/rts/build/include \ + -I_build/stage1/rts/build/include \ -DWARD \ -DTHREADED_RTS -- cgit v1.2.1