From: Palmer Dabbelt <palmer@dabbelt.com>
Date: Mon, 24 Apr 2017 15:15:04 +0000 (-0700)
Subject: Merge pull request #94 from riscv/commitlog
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a5e5bc65794e1ad2090201c31bdea3129ae347e4;hp=61bb377be35a37bf8d4cafad57d4c078aff8a9e3;p=riscv-isa-sim.git

Merge pull request #94 from riscv/commitlog

Fix builds with "--enable-commitlog"
---