Browse Source

correctly parse extension for spike-disasm

pull/18/head
Yunsup Lee 11 years ago
parent
commit
9af855a28e
  1. 6
      spike_main/spike-dasm.cc

6
spike_main/spike-dasm.cc

@ -22,6 +22,12 @@ int main(int argc, char** argv)
std::function<extension_t*()> extension;
option_parser_t parser;
parser.option(0, "extension", 1, [&](const char* s){extension = find_extension(s);});
parser.parse(argv);
if (extension) {
for (auto disasm_insn : extension()->get_disasms())
d.add_insn(disasm_insn);
}
while (getline(cin, s))
{

Loading…
Cancel
Save