diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2021-01-28 10:13:09 +0100 |
---|---|---|
committer | Damien Doligez <damien.doligez@inria.fr> | 2021-01-28 12:05:52 +0100 |
commit | dbd742824115c3bff55ecbee71d18138acaccd98 (patch) | |
tree | 340c939e47efc346efce838c33e995f93f91bc98 | |
parent | 3ac60b616bcddd9bd11dca18a725f50c4cffc5a4 (diff) | |
download | ocaml-dbd742824115c3bff55ecbee71d18138acaccd98.tar.gz |
Inria CI: make sure this 4.11 branch is not run on Solaris
(cherry picked from commit 988af8bfe63d461c48fa5d3418ecd2e30bc543b3)
-rwxr-xr-x | tools/ci/inria/bootstrap | 4 | ||||
-rwxr-xr-x | tools/ci/inria/extra-checks | 4 | ||||
-rwxr-xr-x | tools/ci/inria/main | 4 |
3 files changed, 12 insertions, 0 deletions
diff --git a/tools/ci/inria/bootstrap b/tools/ci/inria/bootstrap index a33b6b3a7f..8fd10457cd 100755 --- a/tools/ci/inria/bootstrap +++ b/tools/ci/inria/bootstrap @@ -106,6 +106,10 @@ case "${OCAML_ARCH}" in . "$HOME/.profile" . "$HOME/.msenv64" ;; + solaris) + echo This version of OCaml does not support Solaris. Exiting. + exit + ;; *) arch_error;; esac diff --git a/tools/ci/inria/extra-checks b/tools/ci/inria/extra-checks index 9e2afc4aae..bda5b9969a 100755 --- a/tools/ci/inria/extra-checks +++ b/tools/ci/inria/extra-checks @@ -78,6 +78,10 @@ case "${OCAML_ARCH}" in linux) ;; cygwin|cygwin64|mingw|mingw64|msvc|msvc64) error "Don't run this test under Windows";; + solaris) + echo This version of OCaml does not support Solaris. Exiting. + exit + ;; *) arch_error;; esac diff --git a/tools/ci/inria/main b/tools/ci/inria/main index ca190321ba..a3894e9623 100755 --- a/tools/ci/inria/main +++ b/tools/ci/inria/main @@ -86,6 +86,10 @@ case "${OCAML_ARCH}" in . "$HOME/.profile" . "$HOME/.msenv64" ;; + solaris) + echo This version of OCaml does not support Solaris. Exiting. + exit + ;; *) arch_error;; esac |