Merge pull request #21 from mithro/master
authorenjoy-digital <florent@enjoy-digital.fr>
Sun, 5 Mar 2017 10:13:05 +0000 (11:13 +0100)
committerGitHub <noreply@github.com>
Sun, 5 Mar 2017 10:13:05 +0000 (11:13 +0100)
Allow using gcc for or1k.


Trivial merge