diff options
author | Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> | 2013-11-06 14:58:39 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2013-11-07 14:54:53 +0100 |
commit | 8ce6e29add2d6bf40df302a24a17ccad15875c08 (patch) | |
tree | d09f4f8626d7ad88393ab589e83c00591ac231a1 /makechrootpkg.in | |
parent | 1e043445d2fc264efa73089086f6a769183ad52b (diff) | |
download | devtools32-8ce6e29add2d6bf40df302a24a17ccad15875c08.tar.xz |
makechrootpkg: Don't copy the logpipe
Signed-off-by: Pierre Schmitz <pierre@archlinux.de>
Diffstat (limited to 'makechrootpkg.in')
-rw-r--r-- | makechrootpkg.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/makechrootpkg.in b/makechrootpkg.in index a6123be..f5238a4 100644 --- a/makechrootpkg.in +++ b/makechrootpkg.in @@ -333,6 +333,7 @@ move_products() { done for l in "$copydir"/logdest/*; do + [[ $l == */logpipe.* ]] && continue chown "$src_owner" "$l" mv "$l" "$LOGDEST" done |