diff options
Diffstat (limited to '.travis-apt-pin.preferences')
-rw-r--r-- | .travis-apt-pin.preferences | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/.travis-apt-pin.preferences b/.travis-apt-pin.preferences new file mode 100644 index 0000000000..1797bd0414 --- /dev/null +++ b/.travis-apt-pin.preferences @@ -0,0 +1,15 @@ +Package: clang-3.9 +Pin: release o=Ubuntu +Pin-Priority: -1 + +Package: libclang-common-3.9-dev +Pin: release o=Ubuntu +Pin-Priority: -1 + +Package: libclang1-3.9 +Pin: release o=Ubuntu +Pin-Priority: -1 + +Package: libllvm3.9v4 +Pin: release o=Ubuntu +Pin-Priority: -1 |