diff --git a/build_tools.sh b/build_tools.sh deleted file mode 100644 index 4d867b0ad1..0000000000 --- a/build_tools.sh +++ /dev/null @@ -1,3 +0,0 @@ -./bin/nim c --noNimblePath -p:compiler -o:./bin/nimble dist/nimble/src/nimble.nim -./bin/nim c --noNimblePath -p:compiler -o:./bin/nimsuggest dist/nimsuggest/nimsuggest.nim -./bin/nim c -o:./bin/nimgrep tools/nimgrep.nim