Searched refs:goal_list (Results 1 – 1 of 1) sorted by relevance
715 const char ** goal_list = NULL; in main() local719 goal_list = default_goals; in main()730 goal_list = argv + 1; in main()737 const char * goal = goal_list[i]; in main()