CI: tools: add gnu-getopt to macOS CI
authorRosen Penev <rosenp@gmail.com>
Sat, 21 Jan 2023 22:59:27 +0000 (14:59 -0800)
committerChristian Marangi <ansuelsmth@gmail.com>
Mon, 23 Jan 2023 14:48:07 +0000 (15:48 +0100)
This used to be implicit. No longer for some reason.

Signed-off-by: Rosen Penev <rosenp@gmail.com>
.github/workflows/tools.yml

index b315346ed6f8d8cced13cd764db45e3d302bdcb5..b9d712c2a6966950d7fa8e75d75e75824c8516cb 100644 (file)
@@ -47,6 +47,7 @@ jobs:
             findutils \
             gawk \
             git-extras \
+            gnu-getopt \
             gnu-sed \
             grep \
             make