From 33c2bc8ad0179c02230426a493efcb575026cede Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 11 May 2015 19:07:13 +0200
Subject: [PATCH] Fix comment

---
 tool/run/boot_dir/hw | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tool/run/boot_dir/hw b/tool/run/boot_dir/hw
index 05c5c1f216..43aa660b18 100644
--- a/tool/run/boot_dir/hw
+++ b/tool/run/boot_dir/hw
@@ -58,9 +58,9 @@ proc run_boot_dir {binaries} {
 
 	# introduce boot module headers
 	exec echo -e \
-		  "/**" \
+		  "/*" \
 		"\n * This file was automatically generated by the procedure" \
-		"\n * 'run_boot_dir' in 'base-hw/run/env'." \
+		"\n * 'run_boot_dir' in 'tool/run/boot_dir/hw'." \
 		"\n */" \
 		"\n" \
 		"\n /* core includes */" \