diff --git a/repos/ports/run/noux_tool_chain.inc b/repos/ports/run/noux_tool_chain.inc
index 212ce850a3..38e66cd0bb 100644
--- a/repos/ports/run/noux_tool_chain.inc
+++ b/repos/ports/run/noux_tool_chain.inc
@@ -140,7 +140,7 @@ append config {
-
+
@@ -180,7 +180,7 @@ append config {
}
append config {
-
+
}