[General/Optimizations] Use undocumented gccarch supportedFeature

This commit is contained in:
Antoine Viallon 2022-05-06 01:29:57 +02:00
parent 2e347eab63
commit 6b2e927fa3
Signed by: aviallon
GPG key ID: 186FC35EDEB25716

View file

@ -23,8 +23,8 @@ let
speedFactor = getSpeed cores threads;
supportedFeatures = [ "kvm" "benchmark" ]
++ optional (speedFactor > 8) "big-parallel"
++ optional (x86ver >= 2) "arch-x86-64-v2"
++ optional (x86ver >= 3) "arch-x86-64-v3"
++ optional (x86ver >= 2) "gccarch-x86-64-v2"
++ optional (x86ver >= 3) "gccarch-x86-64-v3"
;
};
in