Add --print-tokens long option to dump Remind tokens to stdout.

This commit is contained in:
Dianne Skoll
2024-09-08 10:29:49 -04:00
parent 7236441e02
commit 8a5b88338b
5 changed files with 77 additions and 7 deletions
+6
View File
@@ -1067,6 +1067,12 @@ ProcessLongOption(char const *arg)
printf("%s\n", VERSION);
exit(EXIT_SUCCESS);
}
if (!strcmp(arg, "print-tokens")) {
print_remind_tokens();
print_builtinfunc_tokens();
print_sysvar_tokens();
exit(0);
}
if (sscanf(arg, "max-execution-time=%d", &t) == 1) {
if (t < 0) {
fprintf(ErrFp, "%s: --max-execution-time must be non-negative\n", ArgV[0]);