From ca87f72cdd04d7bdb5e05346a03c04e79325f901 Mon Sep 17 00:00:00 2001 From: Ben Hutchings Date: Tue, 6 Feb 2018 20:28:40 +0000 Subject: [PATCH] [x86] linux-headers: Depend on updated linux-compiler-gcc-7-x86 --- debian/changelog | 1 + debian/config/amd64/defines | 2 +- debian/config/i386/defines | 2 +- 3 files changed, 3 insertions(+), 2 deletions(-) diff --git a/debian/changelog b/debian/changelog index d1fff667b..53823eb17 100644 --- a/debian/changelog +++ b/debian/changelog @@ -435,6 +435,7 @@ linux (4.14.17-1) UNRELEASED; urgency=medium retpoline support * linux-compiler-gcc-7-{arm,s390,x86}: Remove specific (and wrong) compiler version from description (Closes: #883363) + * [x86] linux-headers: Depend on updated linux-compiler-gcc-7-x86 [ Riku Voipio ] * [arm64] build in reset drivers diff --git a/debian/config/amd64/defines b/debian/config/amd64/defines index f426eba06..6011a311f 100644 --- a/debian/config/amd64/defines +++ b/debian/config/amd64/defines @@ -16,7 +16,7 @@ breaks: xserver-xorg-input-vmmouse (<< 1:13.0.99) [relations] gcc-7: gcc-7 (>= 7.2.0-20~) , gcc-7-x86-64-linux-gnu (>= 7.2.0-20~) -headers%gcc-7: linux-compiler-gcc-7-x86 +headers%gcc-7: linux-compiler-gcc-7-x86 (>= 4.14.17-1~) [amd64_description] hardware: 64-bit PCs diff --git a/debian/config/i386/defines b/debian/config/i386/defines index 0a48f34b3..e4b38f6e7 100644 --- a/debian/config/i386/defines +++ b/debian/config/i386/defines @@ -21,7 +21,7 @@ breaks: xserver-xorg-input-vmmouse (<< 1:13.0.99) [relations] gcc-7: gcc-7 (>= 7.2.0-20~) , gcc-7-i686-linux-gnu (>= 7.2.0-20~) -headers%gcc-7: linux-compiler-gcc-7-x86 +headers%gcc-7: linux-compiler-gcc-7-x86 (>= 4.14.17-1~) [686_description] hardware: older PCs