From 87e41ef47e571ca4827b209c7c6ea40620c0fd22 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 8 May 2018 11:21:11 +0200
Subject: [PATCH] rump: remove debugging artifact (rump_dummy)

---
 repos/dde_rump/src/rump_dummy/target.mk | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 repos/dde_rump/src/rump_dummy/target.mk

diff --git a/repos/dde_rump/src/rump_dummy/target.mk b/repos/dde_rump/src/rump_dummy/target.mk
deleted file mode 100644
index c935adb8b3..0000000000
--- a/repos/dde_rump/src/rump_dummy/target.mk
+++ /dev/null
@@ -1,3 +0,0 @@
-LIBS = rump2 rump2_fs
-
-CC_CXX_WARN_STRICT =