python: remove broken unused function

Commit 85c8f71 should never have added this. Signed-off-by: Axel Heider <[email protected]>
seL4 · Apr 12, 2024 · d856814 · d856814
1 parent bb8210c
commit d856814
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/seL4-platforms/platforms.py b/seL4-platforms/platforms.py
@@ -160,9 +160,6 @@ def toolchain_arch_str(self) -> str:
     def cmake_toolchain_setting(self, mode: int) -> str:
         return self.toolchain_arch_str() + str(mode)
 
-    def settings(self) -> str:
-        return self.settings
-
     def get_image_platform(self, mode: int) -> str:
         return self.image_platform or self.get_platform(mode)