nix: Fix top-level

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Oct 24, 2023 · 40191fc · 40191fc
1 parent 7bd19a6
commit 40191fc
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/hacking/nix/top-level/default.nix b/hacking/nix/top-level/default.nix
@@ -35,16 +35,12 @@ in {
   prerequisites = aggregate "prerequisites" [
     pkgs.host.riscv64.none.gccMultiStdenvGeneric
     pkgs.build.this.qemuForSeL4
-    pkgs.build.this.cargoManifestGenrationUtils.rustfmtWithTOMLSupport
     pkgs.build.this.capdl-tool
     pkgs.build.this.vendoredTopLevelLockfile.vendoredSourcesDirectory
 
     (lib.forEach (with pkgs.host; [ aarch64 aarch32 ]) (arch:
       arch.none.this.platUtils.rpi4.defaultBootLinks
     ))
-
-    # unecessary
-    generatedSources.check
   ];
 
   incremental = aggregate "incremental" [