chore: listable options in options.sh script

open-meteo · Jun 11, 2023 · 0d81dd1 · 0d81dd1
1 parent 69288b2
commit 0d81dd1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/scripts/options.sh b/.github/scripts/options.sh
@@ -51,7 +51,7 @@ _options() {
   {
   cat <<END
 @Serializable
-object ${name^} : Options.${name^} {
+object ${name^} : Options.${name^}, Options.Listable<${name^}>() {
 END
   paste -d $'=' <(echo "$properties") <(echo "$values") \
   | prefix "    "