From 99c0f4c88bf830e79e8826b71cd747cd7932a7ae Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 16 Feb 2022 17:16:26 +0100
Subject: [PATCH] add missing libc file used by test

---
 share/dune | 1 +
 1 file changed, 1 insertion(+)

diff --git a/share/dune b/share/dune
index 59006e15d0b..3edaa7a08d7 100644
--- a/share/dune
+++ b/share/dune
@@ -60,6 +60,7 @@
 (libc/stdlib.c as libc/stdlib.c)
 (libc/stdio.h as libc/stdio.h)
 (libc/__fc_define_fd_set_t.h as libc/__fc_define_fd_set_t.h)
+(libc/__fc_define_fds.h as libc/__fc_define_fds.h)
 (libc/locale.h as libc/locale.h)
 (libc/features.h as libc/features.h)
 (libc/getopt.h as libc/getopt.h)
-- 
GitLab