From e11addec7d03f4f554fc210fdc573aaba775c398 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Fri, 4 Oct 2019 15:47:08 +0200
Subject: [PATCH] Cleanup vfs dev directory in vbox5_genode_usb_hid

---
 repos/ports/run/vbox5_genode_usb_hid.run | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/repos/ports/run/vbox5_genode_usb_hid.run b/repos/ports/run/vbox5_genode_usb_hid.run
index 658b1d758..5ffae86a3 100644
--- a/repos/ports/run/vbox5_genode_usb_hid.run
+++ b/repos/ports/run/vbox5_genode_usb_hid.run
@@ -204,8 +204,7 @@ append config {
 		<resource name="RAM" quantum="448M"/>
 		<config vbox_file="vm_genode_usb_hid.vbox" vm_name="TestVM" xhci="yes">
 			<vfs>
-				<dir name="dev"> <log/> </dir>
-				<dir name="dev"> <terminal/> </dir>
+				<dir name="dev"> <log/> <terminal/> </dir>
 				<rom name="vm_genode_usb_hid.vbox" />
 				<rom name="usb_hid.iso" />
 			</vfs>