Jeff King <[email protected]> writes:
> +proc refresh_index {} {
> + global need_index_refresh
> + if { $need_index_refresh } {
> + exec sh -c "git update-index --refresh >/dev/null 2>&1 || true"
I think the usual idiom for ignoring errors is to use catch around exec,
avoiding the extra shell wrapper:
catch { exec git update-index --refresh }
Andreas.
--
Andreas Schwab, [email protected]
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5
"And now for something completely different."
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html
