diff options
| author | Fragstiller <30158742+Fragstiller@users.noreply.github.com> | 2022-01-21 14:53:13 +0300 |
|---|---|---|
| committer | Ali Mohammad Pur <Ali.mpfard@gmail.com> | 2022-01-22 00:31:57 +0330 |
| commit | 673e81b90bb9b0a5fcc6abb2438b6cea7b01e808 (patch) | |
| tree | 9054cd8cc87edc6fbcb0fd4dafc2834978784972 | |
| parent | 9cd93944b8c7363d4654c6239d317aed31fa88e2 (diff) | |
| download | serenity-673e81b90bb9b0a5fcc6abb2438b6cea7b01e808.zip | |
Ports: Relocate `use_fresh_config_sub` check to `do_configure()`
| -rwxr-xr-x | Ports/.port_include.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Ports/.port_include.sh b/Ports/.port_include.sh index 1a2cf1f151..04e114cc69 100755 --- a/Ports/.port_include.sh +++ b/Ports/.port_include.sh @@ -380,9 +380,7 @@ func_defined patch_internal || patch_internal() { fi } func_defined pre_configure || pre_configure() { - if "$use_fresh_config_sub"; then - ensure_new_config_sub - fi + : } func_defined configure || configure() { chmod +x "${workdir}"/"$configscript" @@ -505,6 +503,9 @@ do_configure() { ensure_build if [ "$useconfigure" = "true" ]; then echo "Configuring $port..." + if "$use_fresh_config_sub"; then + ensure_new_config_sub + fi pre_configure configure post_configure |