diff options
| author | Tim Schumacher <timschumi@gmx.de> | 2022-09-16 20:01:30 +0200 |
|---|---|---|
| committer | Ali Mohammad Pur <Ali.mpfard@gmail.com> | 2022-09-18 13:00:46 +0430 |
| commit | 72c059535e99a716137da705c2797a180f761960 (patch) | |
| tree | 76b98fe7b4d94cc69812d3b7fd4afb484d54f260 | |
| parent | 4d294897055388a80bc3a5809197642fdd7af03d (diff) | |
| download | serenity-72c059535e99a716137da705c2797a180f761960.zip | |
Ports: Follow symlinks while discovering whether a port has patches
This enables us to use `./package.sh dev` with LLVM and GCC.
| -rwxr-xr-x | Ports/.port_include.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Ports/.port_include.sh b/Ports/.port_include.sh index e94b377e43..8f49e7e8dd 100755 --- a/Ports/.port_include.sh +++ b/Ports/.port_include.sh @@ -727,7 +727,7 @@ do_dev() { git config receive.denyCurrentBranch ignore # Import patches as commits, or ask the user to commit them # if they're not git patches already. - if [ -d "${PORT_META_DIR}/patches" ] && [ -n "$(find "${PORT_META_DIR}/patches" -maxdepth 1 -name '*.patch' -print -quit)" ]; then + if [ -d "${PORT_META_DIR}/patches" ] && [ -n "$(find -L "${PORT_META_DIR}/patches" -maxdepth 1 -name '*.patch' -print -quit)" ]; then for patch in "${PORT_META_DIR}"/patches/*.patch; do if [ -f "$workdir/.$(basename $patch).applied" ]; then continue |