diff Makefile @ 880:d4312a6f7a87

test_utility_commands: test verify command Also, make verify output more stable.
author Patrick Mezard <patrick@mezard.eu>
date Sat, 21 Apr 2012 11:36:23 +0200
parents 055f9254d790
children
line wrap: on
line diff