diff --git a/repo2html b/repo2html index 67e9466..f2ceba3 100755 --- a/repo2html +++ b/repo2html @@ -107,6 +107,6 @@ grep -f"$cref_errlog_first" "$listcache" \ 2> >( sed 's/^/[Reprocessing] /g' >&2 ) # if any invalid crefs remain, then they're bad -[ -s "$cref_errlog" ] && { +[ ! -s "$cref_errlog" ] || { echo "warning: bad cref(s); see $cref_errlog" >&2 }