Disable rebase on Cygwin 64 in Inria's CI

We do not perform the rebase which is not necessary when building shared libraries.
2019-02-13 16:24:34 +01:00 · 2019-02-13 16:24:34 +01:00 · 652cc148a9
parent e0a11fe2e3
commit 652cc148a9
1 changed files with 1 additions and 1 deletions
--- a/tools/ci/inria/main
+++ b/tools/ci/inria/main
@ -143,7 +143,7 @@ case "${OCAML_ARCH}" in
  cygwin64)
    cleanup=true
    check_make_alldepend=true
-    dorebase=true
+    dorebase=false
    confoptions="$confoptions --disable-shared "
  ;;
  mingw)