diff options
Diffstat (limited to 'rts')
| -rw-r--r-- | rts/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/Makefile b/rts/Makefile index 74f7fad95c..15fa685e02 100644 --- a/rts/Makefile +++ b/rts/Makefile @@ -14,3 +14,4 @@ dir = rts TOP = .. include $(TOP)/mk/sub-makefile.mk +FAST_MAKE_OPTS += stage=none |