addoption
addoption(optarg);
static void addoption(char *);
void addoption(const char *name, const char *value);
WORD { addoption($1, NULL); } |
WORD '=' value { addoption($1, $3); };
(void)addoption(intern("GPROF"), NULL);