tree e38bb8687ee73a5e5eaf83fc541866ccc1dd4000
parent 82e95a5de5758587f75fdf9c54675ce01711e125
author Thomas Vachuska <tom@onlab.us> 1438019346 -0700
committer Thomas Vachuska <tom@onlab.us> 1438019346 -0700

Fixed a few onos-check-* tools.

Change-Id: I2bda9677aec461c091c6e24c5ba0fd6f6dacfff9