diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2019-09-02 22:03:10 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2019-09-02 22:03:10 +0200 |
| commit | ac6fcab7a4fc79ba0ca45f531ad5f4f213e9d4e7 (patch) | |
| tree | 54f03ebd8539f4562d4e2f077d67812aea854889 /lib/pure | |
| parent | d70e292571754f1c00baf9651c558378537cdba8 (diff) | |
| parent | 5a03eea518ba3cfeaa9f57ef0b6f1cf7bc8ed1d9 (diff) | |
| download | Nim-ac6fcab7a4fc79ba0ca45f531ad5f4f213e9d4e7.tar.gz | |
Merge branch 'devel' into uint-range-checks
Diffstat (limited to 'lib/pure')
| -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.} |