Adjust the find command line

The list syntax is a GNU extension, so use -false and -o to achieve the
same effect.

diff --git a/bootstrap.sh b/bootstrap.sh
index 9497096ac31fbafc899dc00fda2ef37c3a46f9e7..b8531257a94a68b134cfadb8b4f31acd2b61406c 100755 (executable)
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -97,7 +97,7 @@ for i in $REQUIRED; do
                done
                findargs="$subdirs"
                if [ "$check_overlay" ]; then
-                       findargs="$findargs -mindepth 1 ( -type d ! ( $check_overlay ) -prune ) ,"
+                       findargs="$findargs -mindepth 1 ( -type d ! ( $check_overlay ) -prune -false ) -o "
                fi
 
                headers=`find $findargs -name '*.h'`