From 7f2ce0649d04c1ab2829110a84495635e7db08d3 Mon Sep 17 00:00:00 2001 From: Mike Beaton Date: Sun, 23 Apr 2023 10:12:02 +0100 Subject: [PATCH] Add DISCARD_PACKAGES --- efibuild.sh | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/efibuild.sh b/efibuild.sh index 1b33219..8acfb6e 100755 --- a/efibuild.sh +++ b/efibuild.sh @@ -354,6 +354,14 @@ fi cd UDK || exit 1 HASH=$(git rev-parse origin/master) +if [ "$DISCARD_PACKAGES" != "" ]; then + for package_to_discard in "${DISCARD_PACKAGES[@]}" ; do + if [ -d "${package_to_discard}" ]; then + rm -rf "${package_to_discard}" + fi + done +fi + if [ "$NEW_BUILDSYSTEM" != "1" ]; then if [ -d ../Patches ]; then if [ ! -f patches.ready ]; then