diff options
Diffstat (limited to 'scripts/patchfns.in')
-rw-r--r-- | scripts/patchfns.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/patchfns.in b/scripts/patchfns.in index 8b0f3af..2ddf7ac 100644 --- a/scripts/patchfns.in +++ b/scripts/patchfns.in @@ -400,7 +400,8 @@ files_in_patch() local path=".pc/$patch" if [ -d "$path" ] then - for file in $(find "$path" -type f) + for file in $(find "$path" -type f \ + -a ! -path "$path/.timestamp") do echo "${file:${#path}+1}" done |