diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2014-05-12 13:46:19 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2014-05-12 13:46:19 +0000 |
| commit | aebb9e144d4b1e8863c168808e5f4f6b2ca07c26 (patch) | |
| tree | 228817800fb1d692c89d8c9b839efbd80efb5ec3 /tools | |
| parent | c36565a6c6853a783952f6957350054f98b190b1 (diff) | |
| download | ocaml-aebb9e144d4b1e8863c168808e5f4f6b2ca07c26.tar.gz | |
fix missing archs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14798 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci-build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci-build b/tools/ci-build index 44655069e9..1d6acbef60 100755 --- a/tools/ci-build +++ b/tools/ci-build @@ -31,7 +31,7 @@ error () { case "$1" in bsd|macos|linux) ;; - cygwin|mingw|msvc) + cygwin|mingw|mingw64|msvc|msvc64) . /etc/profile . ~/.profile ;; |