Merge pull request #94 from riscv/commitlog
authorPalmer Dabbelt <palmer@dabbelt.com>
Mon, 24 Apr 2017 15:15:04 +0000 (08:15 -0700)
committerGitHub <noreply@github.com>
Mon, 24 Apr 2017 15:15:04 +0000 (08:15 -0700)
Fix builds with "--enable-commitlog"


Trivial merge