Searched refs:env_used (Results 1 – 2 of 2) sorted by relevance
430 int env_used; in main() local438 env_used=0; in main()444 env_used=1; in main()452 if(env_used)fprintf(stderr," Random seed set from the environment (SEED=%s).\n", env_seed); in main()
643 int env_used; in main() local647 env_used=0; in main()655 env_used=1; in main()684 if(env_used)fprintf(stderr," Random seed set from the environment (SEED=%s).\n", env_seed); in main()