ignore sdcardfs from Android Linux --- a/src/basic/check-filesystems.sh 2022-02-01 21:47:06.181142404 +0100 +++ b/src/basic/check-filesystems.sh 2022-02-01 21:45:58.760989671 +0100 @@ -23,7 +23,8 @@ for fs in $($cpp -dM $includes -