diff options
| author | Emilio Cobos Álvarez <emilio@crisal.io> | 2018-04-01 19:12:23 +0200 |
|---|---|---|
| committer | Emilio Cobos Álvarez <emilio@crisal.io> | 2018-04-03 11:27:47 +0200 |
| commit | a5eb2df08eb1b3e449421a7ec664757aba9b38c0 (patch) | |
| tree | 9b9b6558206c6fe5600e783f80f8e771edbc451b | |
| parent | 26a1717e98bef54d52ea5446c4f05a3d0a89381f (diff) | |
Use clang 4.0.0, not 4.0.1, since the later doesn't have an ubuntu package.
| -rw-r--r-- | ci/before_install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/before_install.sh b/ci/before_install.sh index 318f372c..64453f7e 100644 --- a/ci/before_install.sh +++ b/ci/before_install.sh @@ -26,7 +26,7 @@ function llvm_version_triple() { elif [ "$1" == "3.9" ]; then echo "3.9.0" elif [ "$1" == "4.0" ]; then - echo "4.0.1" + echo "4.0.0" elif [ "$1" == "5.0" ]; then echo "5.0.0" fi |