tree ed36b7f185adba67898ae6a2dadc4dd0be123231
parent efd35a2dd881c13680367c2d28500342ffa499ba
author Eddie Hung <eddieh@ece.ubc.ca> 1546379435 -0800
committer Eddie Hung <eddieh@ece.ubc.ca> 1546379435 -0800

[xc7] Docker's torc not to make install