Searched refs:commandline_prefix (Results 1 – 1 of 1) sorted by relevance
491 static const char *commandline_prefix; variable498 commandline_prefix = prefix; in commandline_setprefix()507 if (commandline_prefix == NULL) { in commandline_addincpath_user_withprefix()511 s = dostrdup3(commandline_prefix, "/", dir); in commandline_addincpath_user_withprefix()522 if (commandline_prefix == NULL) { in commandline_addincpath_late_withprefix()526 s = dostrdup3(commandline_prefix, "/", dir); in commandline_addincpath_late_withprefix()