Searched refs:random_source (Results 1 – 1 of 1) sorted by relevance
63 static const char *random_source; variable769 if (random_source != NULL) { in set_random_seed()774 if ((fp = fopen(random_source, "r")) == NULL) in set_random_seed()775 err(2, "%s", random_source); in set_random_seed()779 err(2, "%s", random_source); in set_random_seed()935 random_source = optarg; in main()