From b83c8f35c6dcfe168f50a6d9ca3dc98b9d830325 Mon Sep 17 00:00:00 2001
From: Johannes Schlatow <johannes.schlatow@genode-labs.com>
Date: Thu, 24 Jun 2021 12:03:27 +0200
Subject: [PATCH] depot: ffi for x86_32

genodelabs/genode#4201
---
 repos/libports/recipes/src/ffi/content.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/libports/recipes/src/ffi/content.mk b/repos/libports/recipes/src/ffi/content.mk
index 1fc179b162..73e48139e9 100644
--- a/repos/libports/recipes/src/ffi/content.mk
+++ b/repos/libports/recipes/src/ffi/content.mk
@@ -1,5 +1,6 @@
 MIRROR_FROM_REP_DIR := lib/mk/spec/arm/ffi.mk \
                        lib/mk/spec/arm_64/ffi.mk \
+                       lib/mk/spec/x86_32/ffi.mk \
                        lib/mk/spec/x86_64/ffi.mk
 content: src/lib/ffi $(MIRROR_FROM_REP_DIR) LICENSE