diff --git a/resource/Makefile b/resource/Makefile index 13d8a394a..01bce8269 100644 --- a/resource/Makefile +++ b/resource/Makefile @@ -1,4 +1,5 @@ all: - gf +RTS -K10M