Merge pull request #291160 from jmbaur/systemd-boot-builder-cross

This commit is contained in:
Julien Malka 2024-02-26 21:43:23 +01:00 committed by GitHub
commit d882852f8b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -49,12 +49,10 @@ let
'';
};
checkedSystemdBootBuilder = pkgs.runCommand "systemd-boot" {
nativeBuildInputs = [ pkgs.mypy ];
} ''
checkedSystemdBootBuilder = pkgs.runCommand "systemd-boot" { } ''
mkdir -p $out/bin
install -m755 ${systemdBootBuilder} $out/bin/systemd-boot-builder
mypy \
${lib.getExe pkgs.buildPackages.mypy} \
--no-implicit-optional \
--disallow-untyped-calls \
--disallow-untyped-defs \