diff Makefile @ 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 4589d48c9e1b
children 055f9254d790
line wrap: on
line diff