nix: Remove opt issue workaround

Bumping compiler appears to fix whatever issue was present Signed-off-by: Nick Spinale <[email protected]>
seL4 · Mar 16, 2024 · f39389b · f39389b
1 parent d3a8138
commit f39389b
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/hacking/nix/scope/world/capdl/mk-small-capdl-initializer.nix b/hacking/nix/scope/world/capdl/mk-small-capdl-initializer.nix
@@ -31,10 +31,6 @@ in mkTask {
 
   features = [ "deflate" ];
 
-  extraProfile = {
-    opt-level = 1; # TODO bug on 2 and 3
-  };
-
   layers = [
     crateUtils.defaultIntermediateLayer
     {