add_prefix (&include_prefix, concat (value, "include", ""),
1, 0, 0);
- /* As a kludge, if the arg is "stageN/", just add
+ /* As a kludge, if the arg is "[blah/]stageN/", just add
"include" to the include prefix. */
- if (strlen (value) == 7 && value[6] == '/'
- && strncmp (value, "stage", 5) == 0
- && isdigit (value[5]))
- add_prefix (&include_prefix, "include", 1, 0, 0);
+ {
+ int len = strlen (value);
+ if ((len == 7 || (len > 7 && value[len-8] == '/'))
+ && strncmp (value+len-7, "stage", 5) == 0
+ && isdigit (value[len-2])
+ && value[len-1] == '/')
+ add_prefix (&include_prefix, "include", 1, 0, 0);
+ }
}
break;