Merge pull request #246 from gsomlo/gls-native-rv64
authorenjoy-digital <florent@enjoy-digital.fr>
Fri, 23 Aug 2019 19:36:51 +0000 (21:36 +0200)
committerGitHub <noreply@github.com>
Fri, 23 Aug 2019 19:36:51 +0000 (21:36 +0200)
software: use native toolchain for same host, target architectures


Trivial merge