diff options
author | Riku Voipio <riku.voipio@linaro.org> | 2016-02-05 11:56:38 +0200 |
---|---|---|
committer | Riku Voipio <riku.voipio@linaro.org> | 2016-02-05 16:08:56 +0200 |
commit | 7d91ef74a9f3e75fdf36af9a220c3d8b809fd40d (patch) | |
tree | 5433972a0b90620ac79ee72c7771cca043a61169 | |
parent | 79e17cc3cdb19dd4cbd9a4e1e3445dd0b3c5899c (diff) |
debian: pin backports by default
Change-Id: I72ff90e88a36c7a577113cad31e64a75a240fa16
Signed-off-by: Riku Voipio <riku.voipio@linaro.org>
7 files changed, 21 insertions, 0 deletions
diff --git a/jessie-arm64-alip/customization/includes.chroot/etc/apt/preferences.d/backports_pin b/jessie-arm64-alip/customization/includes.chroot/etc/apt/preferences.d/backports_pin new file mode 100644 index 0000000..8e88fcc --- /dev/null +++ b/jessie-arm64-alip/customization/includes.chroot/etc/apt/preferences.d/backports_pin @@ -0,0 +1,3 @@ +Package: *-mesa* libdrm-* libdrm2* openjdk-8-* +Pin: release a=jessie-backports +Pin-Priority: 500 diff --git a/jessie-arm64-developer/customization/includes.chroot/etc/apt/preferences.d/backports_pin b/jessie-arm64-developer/customization/includes.chroot/etc/apt/preferences.d/backports_pin new file mode 100644 index 0000000..8e88fcc --- /dev/null +++ b/jessie-arm64-developer/customization/includes.chroot/etc/apt/preferences.d/backports_pin @@ -0,0 +1,3 @@ +Package: *-mesa* libdrm-* libdrm2* openjdk-8-* +Pin: release a=jessie-backports +Pin-Priority: 500 diff --git a/jessie-arm64-ros/customization/includes.chroot/etc/apt/preferences.d/backports_pin b/jessie-arm64-ros/customization/includes.chroot/etc/apt/preferences.d/backports_pin new file mode 100644 index 0000000..8e88fcc --- /dev/null +++ b/jessie-arm64-ros/customization/includes.chroot/etc/apt/preferences.d/backports_pin @@ -0,0 +1,3 @@ +Package: *-mesa* libdrm-* libdrm2* openjdk-8-* +Pin: release a=jessie-backports +Pin-Priority: 500 diff --git a/jessie-arm64-tcwg-benchmark/customization/includes.chroot/etc/apt/preferences.d/backports_pin b/jessie-arm64-tcwg-benchmark/customization/includes.chroot/etc/apt/preferences.d/backports_pin new file mode 100644 index 0000000..8e88fcc --- /dev/null +++ b/jessie-arm64-tcwg-benchmark/customization/includes.chroot/etc/apt/preferences.d/backports_pin @@ -0,0 +1,3 @@ +Package: *-mesa* libdrm-* libdrm2* openjdk-8-* +Pin: release a=jessie-backports +Pin-Priority: 500 diff --git a/jessie-armhf-alip/customization/includes.chroot/etc/apt/preferences.d/backports_pin b/jessie-armhf-alip/customization/includes.chroot/etc/apt/preferences.d/backports_pin new file mode 100644 index 0000000..8e88fcc --- /dev/null +++ b/jessie-armhf-alip/customization/includes.chroot/etc/apt/preferences.d/backports_pin @@ -0,0 +1,3 @@ +Package: *-mesa* libdrm-* libdrm2* openjdk-8-* +Pin: release a=jessie-backports +Pin-Priority: 500 diff --git a/jessie-armhf-developer/customization/includes.chroot/etc/apt/preferences.d/backports_pin b/jessie-armhf-developer/customization/includes.chroot/etc/apt/preferences.d/backports_pin new file mode 100644 index 0000000..8e88fcc --- /dev/null +++ b/jessie-armhf-developer/customization/includes.chroot/etc/apt/preferences.d/backports_pin @@ -0,0 +1,3 @@ +Package: *-mesa* libdrm-* libdrm2* openjdk-8-* +Pin: release a=jessie-backports +Pin-Priority: 500 diff --git a/jessie-x86-nano/customization/includes.chroot/etc/apt/preferences.d/backports_pin b/jessie-x86-nano/customization/includes.chroot/etc/apt/preferences.d/backports_pin new file mode 100644 index 0000000..8e88fcc --- /dev/null +++ b/jessie-x86-nano/customization/includes.chroot/etc/apt/preferences.d/backports_pin @@ -0,0 +1,3 @@ +Package: *-mesa* libdrm-* libdrm2* openjdk-8-* +Pin: release a=jessie-backports +Pin-Priority: 500 |