From 505388b9fa70f4cfbb3e32d96e0a2e2f1699bef5 Mon Sep 17 00:00:00 2001 From: Bananymous Date: Sat, 28 Jun 2025 20:21:46 +0300 Subject: [PATCH] ports: Add pre_install and post_install to install.sh --- ports/install.sh | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/ports/install.sh b/ports/install.sh index 05642838..6d510458 100755 --- a/ports/install.sh +++ b/ports/install.sh @@ -77,10 +77,22 @@ build() { done } +pre_install() { + : +} + +post_install() { + : +} + install() { + pre_install + for target in "${MAKE_INSTALL_TARGETS[@]}"; do make $target "DESTDIR=$BANAN_SYSROOT" || exit 1 done + + post_install } source $1