From 026b5a66c94a19c0a0daede6157183f8c37e9aaf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Tue, 20 Jan 2015 15:18:45 +0100
Subject: [PATCH] autopilot: get settings via RUN_OPT_AUTOPILOT

If the variable RUN_OPT_AUTOPILOT is set the autopilot will override
the default RUN_OPT settings provided in build.conf.

Related to #1355.
---
 tool/autopilot | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/tool/autopilot b/tool/autopilot
index 2667cb0b0..a4c178dfb 100755
--- a/tool/autopilot
+++ b/tool/autopilot
@@ -305,6 +305,17 @@ foreach platform $platforms {
 		exec echo "CUSTOM_CC  = ccache \$(CROSS_DEV_PREFIX)gcc" >> $tools_conf
 		exec echo "CUSTOM_CXX = ccache \$(CROSS_DEV_PREFIX)g++" >> $tools_conf
 	}
+
+	if {[info exists ::env(RUN_OPT_AUTOPILOT)]} {
+		set kernel [exec echo $platform |& sed {s/_.*//}]
+
+		# lx_hybrid is a special case, it also uses boot_dir/linux
+		if {[string equal $kernel "lx"]} {
+			set kernel linux
+		}
+
+		exec echo "RUN_OPT=--include boot_dir/$kernel $::env(RUN_OPT_AUTOPILOT)" >> $build_conf
+	}
 }