ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

autopilot: option to keep existing test directory

This commit is contained in:
Alexander Boettcher 2013-05-14 10:22:16 +02:00 committed by Norman Feske
parent da310bd726
commit b2fee4c7b1
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tool/autopilot
View File

@ -53,6 +53,7 @@ proc help { } {
[--enable-ccache] [--enable-ccache]
--force replace test directory if it already exists --force replace test directory if it already exists
--keep keep test directroy if it already exists
--cleanup remove test directory at exit --cleanup remove test directory at exit
--stdout print test output instead of writing log files --stdout print test output instead of writing log files
--skip-clean-rules skip cleanall tests, keep build-directory content --skip-clean-rules skip cleanall tests, keep build-directory content
@ -258,7 +259,8 @@ puts "make -j : $make_jobs"
# command-line arguments. # 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" puts stderr "Error: test directory $test_dir already exists"
exit -3 exit -3
} }