ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 17:52:52 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

autopilot: remove unused default_log_file proc

Browse Source
This commit is contained in:
Josef Söntgen 2017-03-29 13:46:54 +02:00 committed by Christian Helmuth
parent 93b78573bd
commit adf39c4cc8
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tool/autopilot
View File

@ -35,7 +35,6 @@ proc genode_dir { } {
proc default_test_dir { } { global env; return "/tmp/autopilot.$env(USER)" }
proc default_log_file { } { return "autopilot.log" }
##