Merge branch 'master' of git://github.com/ucb-bar/riscv-tests into configure
authorSebastien Mirolo <smirolo@fortylines.com>
Mon, 12 Aug 2013 22:38:27 +0000 (15:38 -0700)
committerSebastien Mirolo <smirolo@fortylines.com>
Mon, 12 Aug 2013 22:38:27 +0000 (15:38 -0700)

Trivial merge