Merge pull request #10 from riscv/travis-dev
authorPalmer Dabbelt <palmer@dabbelt.com>
Sat, 27 Feb 2016 20:42:46 +0000 (12:42 -0800)
committerPalmer Dabbelt <palmer@dabbelt.com>
Sat, 27 Feb 2016 20:42:46 +0000 (12:42 -0800)
Support multi configuration travis builds


Trivial merge