diff tools/verify-all-heads.sh @ 856:2a034bd52d14

verify: skip over missing files instead of crashing
author Bryan O'Sullivan <bryano@fb.com>
date Wed, 18 Apr 2012 13:08:34 -0700
parents 11c4c7242a36
children
line wrap: on
line diff