From 0f37f8e8c970cec9b22588ee9b2034e141bbbb17 Mon Sep 17 00:00:00 2001 From: Anton Bachin Date: Tue, 28 Feb 2017 14:56:05 -0500 Subject: [PATCH] Remove handling of OCaml 4.01 from .jenkins.sh This effectively reverts 85b92bfe00815949c2b6992bc1f16f0e7363c96a. The underlying issue is fixed in #318. [skip ci] --- .jenkins.sh | 5 ----- 1 file changed, 5 deletions(-) diff --git a/.jenkins.sh b/.jenkins.sh index f3030b4135..0e96b3f2de 100644 --- a/.jenkins.sh +++ b/.jenkins.sh @@ -1,8 +1,3 @@ -if ocaml -version | grep '4\.01' -then - exit 0 -fi - opam pin add --no-action lwt . opam install camlp4 opam install ssl lablgtk react conf-libev