diff --git a/src/emu/emu_args.c b/src/emu/emu_args.c index 9979bc3..362bb0f 100644 --- a/src/emu/emu_args.c +++ b/src/emu/emu_args.c @@ -14,13 +14,18 @@ static char progname[] = "ovniemu"; static void usage(void) { - rerr("Usage: %s [-c offsetfile] tracedir\n", progname); + rerr("Usage: %s [-c offsetfile] [-lh] tracedir\n", progname); rerr("\n"); rerr("Options:\n"); rerr(" -c offsetfile Use the given offset file to correct\n"); rerr(" the clocks among nodes. It can be\n"); rerr(" generated by the ovnisync program\n"); rerr("\n"); + rerr(" -l Enable linter mode. Extra tests will\n"); + rerr(" be performed.\n"); + rerr("\n"); + rerr(" -h Show help.\n"); + rerr("\n"); rerr(" tracedir The output trace dir generated by ovni.\n"); rerr("\n"); rerr("The output PRV files are placed in the tracedir directory.\n");