From 89c3c5b83d2f41d4c1878f95b4e32f235671fd1d Mon Sep 17 00:00:00 2001 From: hzy Date: Sun, 23 Feb 2025 22:30:18 +0800 Subject: [PATCH] generate_CODEOWNERS.sh: more dummy functions --- .github/generate_CODEOWNERS.sh | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/.github/generate_CODEOWNERS.sh b/.github/generate_CODEOWNERS.sh index 2f5849b732..a18f1ba007 100755 --- a/.github/generate_CODEOWNERS.sh +++ b/.github/generate_CODEOWNERS.sh @@ -3,12 +3,9 @@ SRC="$(realpath "${BASH_SOURCE%/*}/../")" # Dummy function for successful source -function display_alert() { - : -} -function enable_extension() { - : -} +function display_alert() { :; } +function enable_extension() { :; } +function add_packages_to_image() { :; } # $1: board config function generate_for_board() {