From ada334705cfafab2581036da148daa252a51e504 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Fri, 26 Aug 2016 16:01:47 +0200
Subject: [PATCH] run/ipxe: cleanup creation of config file

This removes strange log messages like "file8".
---
 tool/run/load/ipxe | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/run/load/ipxe b/tool/run/load/ipxe
index d673ac70f..888b7881a 100644
--- a/tool/run/load/ipxe
+++ b/tool/run/load/ipxe
@@ -55,7 +55,7 @@ proc create_ipxe_iso_config { } {
 		set fh [open "[run_dir]/boot.cfg" "WRONLY CREAT TRUNC"]
 		puts $fh "#!ipxe"
 		puts $fh "sanboot [run_name].iso || goto failed"
-		puts $fh
+		puts $fh ""
 		puts $fh ":failed"
 		puts $fh "echo Booting failed, dropping to shell"
 		puts $fh "shell"