Merge pull request #11 from arunthomas/readme
authorAndrew Waterman <waterman@eecs.berkeley.edu>
Fri, 12 Dec 2014 00:52:56 +0000 (16:52 -0800)
committerAndrew Waterman <waterman@eecs.berkeley.edu>
Fri, 12 Dec 2014 00:52:56 +0000 (16:52 -0800)
README: use gnu-toolchain


Trivial merge