Lines Matching defs:orig_prefix
92 static char *orig_prefix;
110 /* Optimization: if orig_prefix and curr_prefix are equal, the
125 orig_prefix = memory;
132 orig_prefix = NULL;
415 /* At this point, orig_prefix and curr_prefix likely have already been
418 initially been installed in the same orig_prefix. But we can do
420 in a different prefix before being moved to orig_prefix and (later)
422 orig_prefix. */
441 typically created from the same Makefile variable as orig_prefix came
443 if (orig_prefix != NULL && curr_prefix != NULL
444 && strncmp (pathname, orig_prefix, orig_prefix_len) == 0)
447 /* pathname equals orig_prefix. */
451 /* pathname starts with orig_prefix. */