From 92be62a6eb7bd769127bc64eaeae6d1adfd7e30c Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Fri, 3 May 2019 22:15:46 +0200
Subject: [PATCH] gnu.cfg: Ensure the return value of pipe2() is taken into
 account.

---
 cfg/gnu.cfg | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index de4affd97..2d49f80d4 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -120,6 +120,7 @@
   <function name="pipe2">
     <returnValue type="int"/>
     <noreturn>false</noreturn>
+    <use-retval/>
     <arg nr="1" direction="out">
       <not-null/>
       <not-bool/>