else
cat <<EOF
-WARNING! Some of the contrib modules did not build succesfully or pass
+WARNING! Some of the contrib modules did not build successfully or pass
their self-tests. Failed contribs:"
EOF
HEADER_HAS_BEEN_PRINTED=true
fi
done
-if [ $HEADER_HAS_BEEN_PRINTED == true ]; then
+if [ $HEADER_HAS_BEEN_PRINTED = true ]; then
exit 1
fi