diff options
author | Jelle Raaijmakers <jelle@gmta.nl> | 2023-05-09 01:14:43 +0200 |
---|---|---|
committer | Andreas Kling <kling@serenityos.org> | 2023-05-09 06:36:30 +0200 |
commit | a81e83f3b5eea1ec6c19eeaa6ca0d12d6a1910b3 (patch) | |
tree | 20a03d45f083642fccdb7bb1d7e6511cfbbfee4b /Ports | |
parent | 71671e0921e2d7a0f6d36f92a2d455953b944f51 (diff) | |
download | serenity-a81e83f3b5eea1ec6c19eeaa6ca0d12d6a1910b3.zip |
Ports: Only remove dir contents on `clean`, not the dir itself
The entirety of `.port_include.sh` depends on having a current working
directory for the respective port. If we were to remove the directory,
some actions such as `fetch` could fail since our current working
directory would now be an invalid inode.
This issue was exposed by running `./package.sh` followed by
`./package.sh dev` and answering 'y' to the question on cleaning the
build directory.
Diffstat (limited to 'Ports')
-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 08dfdeb3cf..b93207e8fa 100755 --- a/Ports/.port_include.sh +++ b/Ports/.port_include.sh @@ -480,7 +480,7 @@ func_defined post_install || post_install() { : } clean() { - rm -rf "${PORT_BUILD_DIR}" + rm -rf "${PORT_BUILD_DIR}/"* } clean_dist() { OLDIFS=$IFS |