diff options
Diffstat (limited to 'build/c/gnu/dep')
| -rwxr-xr-x | build/c/gnu/dep | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/build/c/gnu/dep b/build/c/gnu/dep index e0c0544..1286ce2 100755 --- a/build/c/gnu/dep +++ b/build/c/gnu/dep @@ -48,11 +48,11 @@ if [ "$files" ]; then fi # The last part of the script translates all file names that don't start -# with / (that is, local generated files) to files in $out_base. Note that -# it is assumed that such files are never installed and therefore there is -# no way get around the situation where this file is picket up from some -# other place (e.g., /usr/include). +# with / or . (that is, local generated files) to files in $out_base. Note +# that it is assumed that such files are never installed and therefore there +# is no way to get around the situation where this file is picket up from +# some other place (e.g., /usr/include). # -epilogue="s% \([^/ \\\\]\)% $out_base/\1%g;s%^\([^/ ].*:\)%$out_base/\1%" +epilogue="s% \([^/. \\\\]\)% $out_base/\1%g;s%^\([^/. ].*:\)%$out_base/\1%" exec sed -e "$script$epilogue" |