diff options
Diffstat (limited to 'tools/nimgrep.nim.cfg')
| -rw-r--r-- | tools/nimgrep.nim.cfg | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/tools/nimgrep.nim.cfg b/tools/nimgrep.nim.cfg deleted file mode 100644 index 64d3edc7a..000000000 --- a/tools/nimgrep.nim.cfg +++ /dev/null @@ -1,4 +0,0 @@ -# don't use --gc:refc because of bug -# https://github.com/nim-lang/Nim/issues/14138 . -# --gc:orc and --gc:markandsweep work well. ---threads:on --gc:orc |