From b091eaccbe9868f99cebd269c457e010964e8237 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Oliver=20St=C3=B6neberg?=
 <firewave@users.noreply.github.com>
Date: Thu, 24 Dec 2020 19:49:50 +0100
Subject: [PATCH] gnu.cfg: added *_FILENO defines (#2972)

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

diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index 14d9e0af5..4e1de412f 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -1391,4 +1391,8 @@
   <define name="SIGIO" value="29"/>
   <define name="SIGPWR" value="30"/>
   <define name="SIGUNUSED" value="31"/>
+  <!-- see https://man7.org/linux/man-pages/man3/stdin.3.html -->
+  <define name="STDIN_FILENO" value="0"/>
+  <define name="STDOUT_FILENO" value="1"/>
+  <define name="STDERR_FILENO" value="2"/>
 </def>