diff options
Diffstat (limited to 'Makefile.ward')
| -rw-r--r-- | Makefile.ward | 1 |
1 files changed, 1 insertions, 0 deletions
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 |