Searched refs:commandline_prefix (Results 1 – 1 of 1) sorted by relevance
490 static const char *commandline_prefix; variable497 commandline_prefix = prefix; in commandline_setprefix()506 if (commandline_prefix == NULL) { in commandline_addincpath_user_withprefix()510 s = dostrdup3(commandline_prefix, "/", dir); in commandline_addincpath_user_withprefix()521 if (commandline_prefix == NULL) { in commandline_addincpath_late_withprefix()525 s = dostrdup3(commandline_prefix, "/", dir); in commandline_addincpath_late_withprefix()