tree 4841ce0b52105fc6cef03a112e1a6dd6a3fc74fd
parent 3a7aaf7cdc4aa3d827d3f5370a63d35fbce63ce3
author Zack Williams <zdw@cs.arizona.edu> 1469569830 -0700
committer Andy Bavier <andy@onlab.us> 1469666155 -0700

more diagnostics, and switch to downloading vsg-1.1

Change-Id: I06cf99e66f823eb8f5a97c75fc369a4ee757a8f3
(cherry picked from commit dc4878f84c36819e60f58be5dcbf673bf903c6ac)