linux-rpi: set correct hydraPlatforms (#53325)

This commit is contained in:
Benno Fünfstück 2019-01-03 22:42:14 +01:00 committed by GitHub
parent b6aba6cc18
commit 7817aa3641
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -25,7 +25,7 @@ lib.overrideDerivation (buildLinux (args // rec {
efiBootStub = false;
} // (args.features or {});
extraMeta.hydraPlatforms = with stdenv.lib.platforms; [ aarch64 ];
extraMeta.hydraPlatforms = [ "aarch64-linux" ];
})) (oldAttrs: {
postConfigure = ''
# The v7 defconfig has this set to '-v7' which screws up our modDirVersion.