From a4912f6480ec5ebcac7c14e8413721cba0676f16 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 19 Jun 2020 15:33:17 +0200
Subject: [PATCH] qt5_avplay.run: use vfs_pipe plugin

---
 run/qt5_avplay.run | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/run/qt5_avplay.run b/run/qt5_avplay.run
index 7f52999..d7610fd 100644
--- a/run/qt5_avplay.run
+++ b/run/qt5_avplay.run
@@ -7,6 +7,7 @@ import_from_depot [depot_user]/raw/qt5_avplay \
                   [depot_user]/src/qt5_qnitpickerviewwidget \
                   [depot_user]/src/qt5_widgets \
                   [depot_user]/src/qt5_xml \
+                  [depot_user]/src/vfs_pipe \
                   [depot_user]/src/sdl
 
 set feature(Audio_out) 1
@@ -52,6 +53,7 @@ append config {
 		<config>
 			<vfs>
 				<dir name="dev">
+					<dir name="pipe"> <pipe/> </dir>
 					<log/>
 					<inline name="rtc">2018-01-01 00:01</inline>
 				</dir>
@@ -61,7 +63,7 @@ append config {
 				<rom name="player_stop.png"/>
 				<rom name="volume.png"/>
 			</vfs>
-			<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
+			<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc" pipe="/dev/pipe"/>
 			<mediafile name="mediafile"/>
 		</config>
 		<route>