Improve the check for ports which have gone missing, and just ignore

them. We want a run to perform as much work as possible before it gives up.
2011-02-17 08:54:22 +00:00 · 2011-02-17 08:54:22 +00:00 · faa5e8a94a
commit faa5e8a94a
parent 17f6dd70d4
1 changed files with 5 additions and 1 deletions
--- a/tools/tools/sysbuild/sysbuild.sh
+++ b/tools/tools/sysbuild/sysbuild.sh
@ -178,7 +178,11 @@ ports_recurse() (
 	do
 		if [ ! -d $d ] ; then
 			echo "Missing port $d" 1>&2
-			exit 2
+			continue
+		fi
+		if [ ! -f $d/Makefile ] ; then
+			echo "Missing port $d" 1>&2
+			continue
 		fi
 		if [ "x$t" != "x." ] ; then
 			echo "\"$t\" -> \"$d\"" >> /tmp/_.plist.dot