Fix name of ocamltest program in tools/ci-build

2018-03-14 13:21:44 +01:00 · 2018-03-14 13:21:44 +01:00 · 94fbfe2e79
parent 37541310b4
commit 94fbfe2e79
1 changed files with 1 additions and 1 deletions
--- a/tools/ci-build
+++ b/tools/ci-build
@ -161,7 +161,7 @@ esac
 # On Windows, cleanup processes that may remain from previous run

 if $cleanup; then
-  tasks="tee ocamlrun program ocamltest.byte ocamltest.opt"
+  tasks="tee ocamlrun program ocamltest ocamltest.opt"
  for task in ${tasks}; do kill_task ${task}.exe; done
 fi