Searched refs:warned_already (Results 1 – 1 of 1) sorted by relevance
205 static int warned_already=0; in warn_about_using_gk_option() local207 if ( !DemandLookahead || warned_already ) return; in warn_about_using_gk_option()208 warned_already = 1; in warn_about_using_gk_option()