From 4c7895d38bcf35e5806dc77ecb167150f5a6163c Mon Sep 17 00:00:00 2001
From: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Date: Fri, 8 Dec 2023 01:52:45 +0100
Subject: [PATCH] ./build: enable to mask some tasks.

If we list all the packages that have a release task we have:
    $ ./build release list
    Available packages for task 'release':

    roms
    src
    u-boot-libre
    website

If for some reasons we don't want to have u-boot-libre shown (because
for instance it doesn't build and you want to avoid building it as
part of the './build release all' command, then you can mask it by
removing the executable permission:
    $ chmod -x resources/packages/u-boot-libre/release

And it then doesn't show up anymore:
    $ ./build release list
    Available packages for task 'release':

    roms
    src
    website

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Acked-by: Adrien 'neox' Bourmault <neox@gnu.org>
---
 build | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build b/build
index 0af5e29..67f6f92 100755
--- a/build
+++ b/build
@@ -56,6 +56,7 @@ list_tasks_paths() {
 	find resources/packages \
 		-mindepth 2 -maxdepth 2 \
 		-type f \
+		-executable \
 		-name "${task}" \
 		-printf "%P\n"
 }