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)
commita5e5bc65794e1ad2090201c31bdea3129ae347e4
treefd0792163015b3730b49f54c3e2ed0b20a19e7eb
parent51a8a43d747c8e182dbcb63f602c6e27df30c276
parent61bb377be35a37bf8d4cafad57d4c078aff8a9e3
Merge pull request #94 from riscv/commitlog

Fix builds with "--enable-commitlog"