diff options
author | bptato <nincsnevem662@gmail.com> | 2021-11-15 20:18:29 +0100 |
---|---|---|
committer | bptato <nincsnevem662@gmail.com> | 2021-11-15 20:18:29 +0100 |
commit | 9b95435ae6a859f5da69d2fc473099df5102e243 (patch) | |
tree | 65b9d25fef0064fa9401543b15e5fda83b58df7a /makefile | |
parent | 0dc4172725322bdfd66353051cae1b929be52679 (diff) | |
download | chawan-9b95435ae6a859f5da69d2fc473099df5102e243.tar.gz |
Profiling and more CSS compatibility
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: |