diff options
Diffstat (limited to 'src/devtools')
| -rw-r--r-- | src/devtools/lib/makechrootpkg.sh.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/devtools/lib/makechrootpkg.sh.patch b/src/devtools/lib/makechrootpkg.sh.patch index 618d7e9..6016ba4 100644 --- a/src/devtools/lib/makechrootpkg.sh.patch +++ b/src/devtools/lib/makechrootpkg.sh.patch @@ -166,7 +166,7 @@ chown "$src_owner" "$pkgfile" mv "$pkgfile" "$PKGDEST" + if [[ $PKGDEST != . ]]; then -+ ln -s "$PKGDEST/${pkgfile##*/}" . ++ ln -sf "$PKGDEST/${pkgfile##*/}" . + fi done +} |