fix typo in ci/funs.sh (#18115)

timotheecour · web-flow · commit d62a298a2834 · 2021-05-27T09:04:10.000-07:00
diff --git a/ci/funs.sh b/ci/funs.sh
@@ -43,7 +43,7 @@ nimInternalBuildKochAndRunCI(){
   echo_run nim c koch
   if ! echo_run ./koch runCI; then
     echo_run echo "runCI failed"
-    echo_run nim r -tools/ci_testresults.nim
+    echo_run nim r tools/ci_testresults.nim
     return 1
   fi
 }

Original file line number	Diff line number	Diff line change
`@@ -43,7 +43,7 @@ nimInternalBuildKochAndRunCI(){`
`43`	`43`	`echo_run nim c koch`
`44`	`44`	`if ! echo_run ./koch runCI; then`
`45`	`45`	`echo_run echo "runCI failed"`
`46`		`- echo_run nim r -tools/ci_testresults.nim`
	`46`	`+ echo_run nim r tools/ci_testresults.nim`
`47`	`47`	`return 1`
`48`	`48`	`fi`
`49`	`49`	`}`