From f748dc7133a7baccc5cc1277c24d727b5525fcec Mon Sep 17 00:00:00 2001
From: Bruno Haible <bruno@clisp.org>
Date: Sat, 24 Jan 2026 07:42:33 +0100
Subject: [PATCH] tests: recognize SELinux support on Android

* init.cfg (require_selinux_): Also try to see if 'mount' lists the
selinuxfs.
---
 init.cfg | 1 +
 1 file changed, 1 insertion(+)

diff --git a/init.cfg b/init.cfg
index 9224c5df0..ae02adcfd 100644
--- a/init.cfg
+++ b/init.cfg
@@ -112,6 +112,7 @@ require_selinux_()
   # When in a chroot of an SELinux-enabled system, but with a mock-simulated
   # SELinux-*disabled* system, recognize that SELinux is disabled system wide:
   grep 'selinuxfs$' /proc/filesystems > /dev/null \
+    || { mount | grep ' type selinuxfs ' > /dev/null; } \
     || skip_ "this system lacks SELinux support"
 
   # Independent of whether SELinux is enabled system-wide,