Merge pull request #102 from riscv/xlen_fix
authorMegan Wachs <megan@sifive.com>
Fri, 17 Nov 2017 21:43:33 +0000 (13:43 -0800)
committerGitHub <noreply@github.com>
Fri, 17 Nov 2017 21:43:33 +0000 (13:43 -0800)
debug: Fix the XLEN command line check


Trivial merge