From: Mikko Rasa <tdb@tdb.fi>
Date: Sun, 31 Jan 2016 15:12:22 +0000 (+0200)
Subject: Adjust the find command line
X-Git-Url: http://git.tdb.fi/?p=builder.git;a=commitdiff_plain;h=f0d8e265d9de06e56fb26b404c89515816b72b7b

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 9497096..b853125 100755
--- 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'`