|
|
|
@ -50,6 +50,7 @@ static void help(int exit_code = 1) |
|
|
|
fprintf(stderr, " This flag can be used multiple times.\n"); |
|
|
|
fprintf(stderr, " The extlib flag for the library must come first.\n"); |
|
|
|
fprintf(stderr, " --log-cache-miss Generate a log of cache miss\n"); |
|
|
|
fprintf(stderr, " --log-commits Generate a log of commits info\n"); |
|
|
|
fprintf(stderr, " --extension=<name> Specify RoCC Extension\n"); |
|
|
|
fprintf(stderr, " This flag can be used multiple times.\n"); |
|
|
|
fprintf(stderr, " --extlib=<name> Shared library to load\n"); |
|
|
|
|