From 7d08233603f4e8f4b982c5b75f8c772763c70ed2 Mon Sep 17 00:00:00 2001 From: Mark Michaelis Date: Sun, 9 Mar 2025 11:22:43 +0100 Subject: [PATCH] ci(github): Also Install GNU-Getopt --- bin/gnu-install.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/bin/gnu-install.sh b/bin/gnu-install.sh index b0b139e..81c15f5 100755 --- a/bin/gnu-install.sh +++ b/bin/gnu-install.sh @@ -23,6 +23,7 @@ declare -a GNU_TOOLS=( "ed" "findutils" "gawk" + "gnu-getopt" "gnu-indent" "gnu-sed" "gnu-tar"