Lines Matching defs:orig_prefix
87 static char *orig_prefix;
105 /* Optimization: if orig_prefix and curr_prefix are equal, the
120 orig_prefix = memory;
127 orig_prefix = NULL;
384 /* At this point, orig_prefix and curr_prefix likely have already been
387 initially been installed in the same orig_prefix. But we can do
389 in a different prefix before being moved to orig_prefix and (later)
391 orig_prefix. */
410 typically created from the same Makefile variable as orig_prefix came
412 if (orig_prefix != NULL && curr_prefix != NULL
413 && strncmp (pathname, orig_prefix, orig_prefix_len) == 0)
416 /* pathname equals orig_prefix. */
420 /* pathname starts with orig_prefix. */
