Symbol: DEFAULT_RANDOM_SORT_SEED_FILE
usr.bin/sort/sort.c
73
static const char *random_source = DEFAULT_RANDOM_SORT_SEED_FILE;
usr.bin/sort/sort.c
994
if (strcmp(random_source, DEFAULT_RANDOM_SORT_SEED_FILE) == 0) {