Merge pull request #298156 from trofi/pin-to-gcc12-if-gcc13-drop

pin-to-gcc12-if-gcc13: drop as it's not used anymore
This commit is contained in:
Mario Rodas 2024-03-23 19:51:32 -05:00 committed by GitHub
commit f3e065481d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -15673,14 +15673,6 @@ with pkgs;
gccFun = callPackage ../development/compilers/gcc;
gcc-unwrapped = gcc.cc;
pin-to-gcc12-if-gcc13 = pkg:
if !(lib.isDerivation pkg) || !(pkg?override) then pkg else
pkg.override (previousArgs:
lib.optionalAttrs (previousArgs.stdenv.cc.cc.isGNU or false &&
lib.versionAtLeast previousArgs.stdenv.cc.cc.version "13.0") {
stdenv = gcc12Stdenv;
});
wrapNonDeterministicGcc = stdenv: ccWrapper:
if ccWrapper.isGNU then ccWrapper.overrideAttrs(old: {
env = old.env // {