From b2fee4c7b15d3d4f4f80a7feb558c68c534f62cf Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Tue, 14 May 2013 10:22:16 +0200
Subject: [PATCH] autopilot: option to keep existing test directory

---
 tool/autopilot | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/tool/autopilot b/tool/autopilot
index 5808614b7..b9dd3e92e 100755
--- a/tool/autopilot
+++ b/tool/autopilot
@@ -53,6 +53,7 @@ proc help { } {
 		                  [--enable-ccache]
 
 		  --force             replace test directory if it already exists
+		  --keep              keep test directroy if it already exists
 		  --cleanup           remove test directory at exit
 		  --stdout            print test output instead of writing log files
 		  --skip-clean-rules  skip cleanall tests, keep build-directory content
@@ -258,7 +259,8 @@ puts "make -j     : $make_jobs"
 # command-line arguments.
 #
 
-if {[file exists $test_dir] && ![get_cmd_switch --force]} {
+if {[file exists $test_dir] && ![get_cmd_switch --force] &&
+    ![get_cmd_switch --keep]} {
 	puts stderr "Error: test directory $test_dir already exists"
 	exit -3
 }