Searched refs:idea_options (Results 1 – 4 of 4) sorted by relevance
63 const char *idea_options(void) in idea_options() function
83 const char *idea_options(void);
256 printf("%s ", idea_options()); in version_main()
1845 printf("%s ", idea_options()); in speed_main()