diff make/build.sh @ 21287:0457430979a5

explicitly name the phase that verifies graph encoding and decoding
author Doug Simon <doug.simon@oracle.com>
date Mon, 11 May 2015 17:09:53 +0200
parents bab5cbf74b5f
children
line wrap: on
line diff