Searched refs:env_used (Results 1 – 2 of 2) sorted by relevance
423 int env_used; in main() local431 env_used=0; in main()437 env_used=1; in main()445 if(env_used)fprintf(stderr," Random seed set from the environment (SEED=%s).\n", env_seed); in main()
477 int env_used; in main() local485 env_used=0; in main()491 env_used=1; in main()499 if(env_used)fprintf(stderr," Random seed set from the environment (SEED=%s).\n", env_seed); in main()