From 24a0810cbce44cba496aa353bec9f003d92219fa Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 11 May 2017 15:36:47 +0200
Subject: [PATCH] trace: disable out-of-metadata test step

---
 repos/os/src/test/trace/main.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/os/src/test/trace/main.cc b/repos/os/src/test/trace/main.cc
index 23523dbd5c..b1470c47f1 100644
--- a/repos/os/src/test/trace/main.cc
+++ b/repos/os/src/test/trace/main.cc
@@ -321,8 +321,8 @@ struct Main
 
 	Main(Env &env)
 	{
-		test_1.construct(env);
-		test_1.destruct();
+//		test_1.construct(env);
+//		test_1.destruct();
 		test_2.construct(env);
 		test_2.destruct();