diff options
| author | Egor Ananyin <ananinegor@gmail.com> | 2021-06-10 19:57:29 +0300 |
|---|---|---|
| committer | Linus Groh <mail@linusgroh.de> | 2021-06-10 20:21:08 +0100 |
| commit | 142f9db5bd7e122c29f8242a5c423b6bc154afad (patch) | |
| tree | ad8cd37695dbbb01e9827a0ac05a3b71f31648c5 | |
| parent | a0412e0d5e828cd10f8089340d511d5cb0e8f869 (diff) | |
| download | serenity-142f9db5bd7e122c29f8242a5c423b6bc154afad.zip | |
Ports: Add pre_fetch to .port_include.sh
| -rwxr-xr-x | Ports/.port_include.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Ports/.port_include.sh b/Ports/.port_include.sh index 805a74379c..102c549134 100755 --- a/Ports/.port_include.sh +++ b/Ports/.port_include.sh @@ -305,6 +305,10 @@ fetch() { post_fetch } +func_defined pre_patch || pre_patch() { + : +} + func_defined patch_internal || patch_internal() { # patch if it was not yet patched (applying patches multiple times doesn't work!) if [ -d patches ]; then @@ -421,6 +425,7 @@ do_fetch() { } do_patch() { echo "Patching $port!" + pre_patch patch_internal } do_configure() { |