Searched refs:default_goal_name (Results 1 – 4 of 4) sorted by relevance
101 extern char **default_goal_name;
475 char ** default_goal_name; variable1590 default_goal_name = &v->value; in main()2148 if (**default_goal_name != '\0') in main()2151 strcmp (*default_goal_name, default_goal_file->name) != 0) in main()2153 default_goal_file = lookup_file (*default_goal_name); in main()2161 char *p = *default_goal_name; in main()
1213 if (**default_goal_name == '\0' && set_default) in eval()2115 if (streq (*default_goal_name, name) in record_files()
788 .DEFAULT_GOAL, and default_target_name to default_goal_name.