diff --git a/tools/ci-build b/tools/ci-build index b6d6001ca..a0340c44e 100755 --- 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