From e0af049124ff867f10cb8d60b98af7958c6946e6 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 16 Jan 2019 16:48:56 +0100
Subject: [PATCH] depot_autopilot: fix regression with nr. of tests

The output of the number of tests to run was removed accidentally with the
commit "depot_autopilot: provide repeat mode".
---
 repos/gems/run/depot_autopilot.run | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/gems/run/depot_autopilot.run b/repos/gems/run/depot_autopilot.run
index cae1622bfd..fef5e67ddb 100644
--- a/repos/gems/run/depot_autopilot.run
+++ b/repos/gems/run/depot_autopilot.run
@@ -515,6 +515,7 @@ proc init_test_setting {} {
 			}
 		}
 	}
+	puts "Number of tests to run: $nr_of_tests_to_run"
 }