diff options
Diffstat (limited to 'scripts/libptxdist.sh')
| -rw-r--r-- | scripts/libptxdist.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/libptxdist.sh b/scripts/libptxdist.sh index fcadf24bc..c8f652fa9 100644 --- a/scripts/libptxdist.sh +++ b/scripts/libptxdist.sh @@ -379,6 +379,8 @@ export -f ptxd_get_path # # ptxd_in_path - look for files and/or dirs # +# Note: the make implemenation in ptx/in-path must produce the same result. +# # $1 variable name with paths separated by ":" # $2 filename to find within these paths # |