From 60cda87b5c8fe77bf94c5695ee5a8fede6224e82 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 5 Apr 2017 10:34:22 +0200
Subject: [PATCH] init.run: add missing build of report_rom

---
 repos/os/run/init.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/run/init.run b/repos/os/run/init.run
index 38983c1ce..e0de4e040 100644
--- a/repos/os/run/init.run
+++ b/repos/os/run/init.run
@@ -2,7 +2,7 @@
 # Build
 #
 
-set build_components { core init drivers/timer app/dummy test/init }
+set build_components { core init drivers/timer server/report_rom app/dummy test/init }
 
 build $build_components