diff options
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/makefile b/makefile index 48382521..8c1e6cca 100644 --- a/makefile +++ b/makefile @@ -6,6 +6,8 @@ debug: $(NIMC) $(FLAGS) $(FILES) release: $(NIMC) $(FLAGS) -d:release -d:strip -d:lto $(FILES) +profile: + $(NIMC) $(FLAGS) --profiler:on --stacktrace:on -d:profile $(FILES) install: cp twt /usr/local/bin/ clean: |