Revert "linux-*: build with gcc7, but allow overriding it"

This reverts commit ae040525d8.
gcc7 is the default now.
This commit is contained in:
Vladimír Čunát 2018-02-17 16:30:26 +01:00
parent e96741cdb1
commit 7d19d7ee18
No known key found for this signature in database
GPG key ID: E747DF1F9575A3AA

View file

@ -4,15 +4,10 @@
, utillinux
, writeTextFile, ubootTools
, callPackage
, overrideCC, gcc7
}:
{ stdenv, buildPackages, perl, buildLinux
, # Allow really overriding even our gcc7 default.
# We want gcc >= 7.3 to enable the "retpoline" mitigation of security problems.
stdenvNoOverride ? overrideCC stdenv gcc7
, # The kernel source tarball.
src
@ -37,14 +32,12 @@
# optionally be compressed with gzip or bzip2.
kernelPatches ? []
, ignoreConfigErrors ? hostPlatform.platform.name != "pc" ||
hostPlatform != stdenvNoOverride.buildPlatform
hostPlatform != stdenv.buildPlatform
, extraMeta ? {}
, hostPlatform
, ...
} @ args:
let stdenv = stdenvNoOverride; in # finish the rename
assert stdenv.isLinux;
let