Specify Spike ISA explicitly
authorAndrew Waterman <andrew@sifive.com>
Wed, 4 Jan 2017 19:45:18 +0000 (11:45 -0800)
committerAndrew Waterman <andrew@sifive.com>
Wed, 4 Jan 2017 19:45:18 +0000 (11:45 -0800)

No differences found