diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2010-02-16 11:31:18 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2010-02-16 11:31:18 +0200 |
commit | 967093ed971423c2fe4ec07f8c86b9131afc26c1 (patch) | |
tree | d4bcbe1bf2d2a84abc2af834710075abed7b79aa /build | |
parent | 605fff270cfdb0eb6ea10347cb307e7b45b179f4 (diff) |
Do not add project directory to paths that start with ..
These files come from include directories specified with -I../foo
instead of being generated.
Diffstat (limited to 'build')
-rwxr-xr-x | build/c/gnu/dep | 10 | ||||
-rwxr-xr-x | build/c/intel/dep | 10 |
2 files changed, 10 insertions, 10 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" diff --git a/build/c/intel/dep b/build/c/intel/dep index 3a09302..70f3b79 100755 --- a/build/c/intel/dep +++ b/build/c/intel/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" |