From 16f0a69a8b8778ae500498c25ec7483935ff554d Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Wed, 24 Aug 2016 17:37:21 +0200
Subject: [PATCH] autopilot: add '--autopilot' run option

The '--autopilot' option makes it possible for a run script to detect if
it is being executed by the autopilot by

  if { [get_cmd_switch --autopilot] } { ... }

In that case, the run script could do an automated test, whereas the
test could be interactive when run without this option.

Fixes #2076
---
 tool/autopilot | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/autopilot b/tool/autopilot
index 9d017240e2..cada15ece3 100755
--- a/tool/autopilot
+++ b/tool/autopilot
@@ -309,7 +309,7 @@ foreach platform $platforms {
 	if {[info exists ::env(RUN_OPT_AUTOPILOT)]} {
 		set kernel [exec echo $platform |& sed {s/_.*//}]
 
-		exec echo "RUN_OPT=--include boot_dir/$kernel $::env(RUN_OPT_AUTOPILOT)" >> $build_conf
+		exec echo "RUN_OPT=--include boot_dir/$kernel --autopilot $::env(RUN_OPT_AUTOPILOT)" >> $build_conf
 	}
 }