diff options
| author | narimiran <narimiran@disroot.org> | 2019-09-02 16:00:26 +0200 |
|---|---|---|
| committer | narimiran <narimiran@disroot.org> | 2019-09-02 16:00:26 +0200 |
| commit | 545ddf4a4f60233c3e547f16fa4ce83563a7bf7f (patch) | |
| tree | bedcac3ffc6fa940dc9880b7795cabc5190e4640 /lib/pure/nimprof.nim | |
| parent | f8f96d816cdd1a8edc3f1582a76ae483035f6a37 (diff) | |
| download | Nim-545ddf4a4f60233c3e547f16fa4ce83563a7bf7f.tar.gz | |
mark nimprof as used when profiling
Diffstat (limited to 'lib/pure/nimprof.nim')
| -rw-r--r-- | lib/pure/nimprof.nim | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/pure/nimprof.nim b/lib/pure/nimprof.nim index 27b7d3eca..550664f4f 100644 --- a/lib/pure/nimprof.nim +++ b/lib/pure/nimprof.nim @@ -14,6 +14,9 @@ when not defined(profiler) and not defined(memProfiler): {.error: "Profiling support is turned off! Enable profiling by passing `--profiler:on --stackTrace:on` to the compiler (see the Nim Compiler User Guide for more options).".} +when defined(nimHasUsed): + {.used.} + # We don't want to profile the profiling code ... {.push profiler: off.} |