Symbol: DEFAULT_SKIPLIST_FILE
usr.sbin/rpki-client/main.c
1057
skiplistfile = DEFAULT_SKIPLIST_FILE;
usr.sbin/rpki-client/main.c
889
if (errno == ENOENT && strcmp(slf, DEFAULT_SKIPLIST_FILE) == 0)