nix: Add std parameter to mkTask

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Oct 24, 2024 · 5850266 · 5850266
1 parent 0ed0d44
commit 5850266
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/hacking/nix/scope/world/mk-task.nix b/hacking/nix/scope/world/mk-task.nix
@@ -33,6 +33,7 @@ in
 , release ? true
 , profile ? if release then "release" else (if test then "test" else "dev")
 
+, std ? false
 , sameProfileForSysroot ? false
 , profileForSysroot ? if sameProfileForSysroot then profile else "release"
 
@@ -70,6 +71,7 @@ let
   ];
 
   sysroot = (if replaceSysroot != null then replaceSysroot else buildSysroot) {
+    inherit std;
     inherit rustEnvironment;
     inherit targetTriple;
     profile = profileForSysroot;
@@ -110,6 +112,7 @@ let
   };
 
   prunedArgs = builtins.removeAttrs args [
+    "std"
     "extraProfile"
     "replaceSysroot"
     "getELF"