From 4ae4f7f605473e8faae31b64a7c5fe3aafdb67ea Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Wed, 4 Jan 2017 16:16:58 +0100
Subject: [PATCH] autopilot.list: add sd_card_bench

Ref #2206
---
 tool/autopilot.list | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tool/autopilot.list b/tool/autopilot.list
index dee8c2923..b3de35b82 100644
--- a/tool/autopilot.list
+++ b/tool/autopilot.list
@@ -78,3 +78,4 @@ new_delete
 timeout
 nic_router
 init_smp
+sd_card_bench