[ci skip] update docs for build_all.sh (#10086)

This commit is contained in:
Timothee Cour
2018-12-27 13:28:08 -08:00
committed by Andreas Rumpf
parent ca0ef62c9e
commit 8948894713

View File

@@ -26,6 +26,6 @@ build_nim_csources(){
[ -f $nim_csources ] || echo_run build_nim_csources
echo_run bin/nim c koch
echo_run bin/nim c koch # Note: if fails, may need to `cd csources && git pull`
echo_run ./koch boot -d:release
echo_run ./koch tools # Compile Nimble and other tools.