From 7de62734e51883e24ae1504699e7b91cd4b88e15 Mon Sep 17 00:00:00 2001
From: Pirmin Duss <pirmin.duss@gapfruit.com>
Date: Fri, 18 Dec 2020 11:50:47 +0100
Subject: [PATCH] libc: add `pipe2` symbol to symbols

Issue #3967
---
 repos/libports/lib/symbols/libc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/libports/lib/symbols/libc b/repos/libports/lib/symbols/libc
index 240c90235e..2b12127919 100644
--- a/repos/libports/lib/symbols/libc
+++ b/repos/libports/lib/symbols/libc
@@ -489,6 +489,7 @@ pause W
 pclose T
 perror T
 pipe T
+pipe2 T
 poll W
 popen T
 posix2time T