diff --git a/package/ci/jenkins.xml b/package/ci/jenkins.xml index 53ea46d72..963b019ae 100644 --- a/package/ci/jenkins.xml +++ b/package/ci/jenkins.xml @@ -46,6 +46,7 @@ g++-4.7 g++-4.6 clang++ + clang++-libc++ @@ -76,8 +77,12 @@