[tip:x86/urgent] x86: Allow generating user-space headers without a compiler

2018-08-31 Thread tip-bot for Ben Hutchings
Commit-ID: 829fe4aa9ac16417a904ad1de1307de906854bcf Gitweb: https://git.kernel.org/tip/829fe4aa9ac16417a904ad1de1307de906854bcf Author: Ben Hutchings AuthorDate: Wed, 29 Aug 2018 20:43:17 +0100 Committer: Thomas Gleixner CommitDate: Fri, 31 Aug 2018 17:08:22 +0200 x86: Allow generating

[tip:x86/urgent] x86: Allow generating user-space headers without a compiler

2018-08-30 Thread tip-bot for Ben Hutchings
Commit-ID: 3c76014d27e97bd641202007744fb37c18743adf Gitweb: https://git.kernel.org/tip/3c76014d27e97bd641202007744fb37c18743adf Author: Ben Hutchings AuthorDate: Wed, 29 Aug 2018 20:43:17 +0100 Committer: Thomas Gleixner CommitDate: Thu, 30 Aug 2018 14:28:19 +0200 x86: Allow generating