diff options
author | Wesley W. Terpstra <wesley@sifive.com> | 2017-03-21 16:44:43 -0700 |
---|---|---|
committer | Wesley W. Terpstra <wesley@sifive.com> | 2017-03-21 16:44:43 -0700 |
commit | 0647cce541357bf8f35c8930b78ae98b71ab1f02 (patch) | |
tree | d5a27ab5cbec4560dd5cece0e79ca34ee6294e09 /spike_main/spike.cc | |
parent | 4c80b12b1a96fee64bfbdd35d097d867599eee1e (diff) | |
download | spike-0647cce541357bf8f35c8930b78ae98b71ab1f02.zip spike-0647cce541357bf8f35c8930b78ae98b71ab1f02.tar.gz spike-0647cce541357bf8f35c8930b78ae98b71ab1f02.tar.bz2 |
configstring: rename variables to dts
Diffstat (limited to 'spike_main/spike.cc')
-rw-r--r-- | spike_main/spike.cc | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/spike_main/spike.cc b/spike_main/spike.cc index 424bf37..dde6f5a 100644 --- a/spike_main/spike.cc +++ b/spike_main/spike.cc @@ -31,7 +31,7 @@ static void help() fprintf(stderr, " --extension=<name> Specify RoCC Extension\n"); fprintf(stderr, " --extlib=<name> Shared library to load\n"); fprintf(stderr, " --gdb-port=<port> Listen on <port> for gdb to connect\n"); - fprintf(stderr, " --dump-config-string Print platform configuration string and exit\n"); + fprintf(stderr, " --dump-dts Print device tree string and exit\n"); exit(1); } @@ -41,7 +41,7 @@ int main(int argc, char** argv) bool halted = false; bool histogram = false; bool log = false; - bool dump_config_string = false; + bool dump_dts = false; size_t nprocs = 1; size_t mem_mb = 0; std::unique_ptr<icache_sim_t> ic; @@ -67,7 +67,7 @@ int main(int argc, char** argv) parser.option(0, "l2", 1, [&](const char* s){l2.reset(cache_sim_t::construct(s, "L2$"));}); parser.option(0, "isa", 1, [&](const char* s){isa = s;}); parser.option(0, "extension", 1, [&](const char* s){extension = find_extension(s);}); - parser.option(0, "dump-config-string", 0, [&](const char *s){dump_config_string = true;}); + parser.option(0, "dump-dts", 0, [&](const char *s){dump_dts = true;}); parser.option(0, "extlib", 1, [&](const char *s){ void *lib = dlopen(s, RTLD_NOW | RTLD_GLOBAL); if (lib == NULL) { @@ -85,8 +85,8 @@ int main(int argc, char** argv) s.set_gdbserver(&(*gdbserver)); } - if (dump_config_string) { - printf("%s", s.get_config_string()); + if (dump_dts) { + printf("%s", s.get_dts()); return 0; } |