Cleanup
[barrelfish] / hake / X86_64.hs
index 4a037d7..28a8dc9 100644 (file)
@@ -85,7 +85,7 @@ kernelCFlags = [ Str s | s <- [ "-fno-builtin",
                                 "-Wmissing-field-initializers",
                                 "-Wredundant-decls",
                                 "-Wno-packed-bitfield-compat",
-                               "-Wno-unused-but-set-variable",
+                                "-Wno-unused-but-set-variable",
                                 "-Werror",
                                 "-imacros deputy/nodeputy.h",
                                 "-mno-mmx",
@@ -94,7 +94,6 @@ kernelCFlags = [ Str s | s <- [ "-fno-builtin",
                                 "-mno-sse3",
                                 "-mno-sse4.1",
                                 "-mno-sse4.2",
---                             "-Wno-unused-but-set-variable",
                                 "-mno-sse4",
                                 "-mno-sse4a",
                                 "-mno-3dnow" ]]