diff Makefile @ 22933:3a60cd44e619

verify: report censored nodes if configured policy is abort
author Mike Edgar <adgar@google.com>
date Tue, 14 Oct 2014 16:16:04 -0400
parents d8818616c45e
children 1d354814ff4d
line wrap: on
line diff