Upgrade release.sh

dinosaure · Dec 21, 2023 · 9a7b610 · 9a7b610
1 parent 77de901
commit 9a7b610
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/release.sh b/release.sh
@@ -52,7 +52,7 @@ url {
 }
 EOM
 
-for PACKAGE in 'esperanto-cosmopolitan' 'esperanto'; do
+for PACKAGE in 'esperanto-cosmopolitan' 'x86_64-esperanto' 'aarch64-esperanto'; do
     PKG_DIR=${OUTPUT_DIR}/packages/${PACKAGE}/${PACKAGE}.${OPAM_VERSION}
     mkdir -p ${PKG_DIR} || exit 1
     cat opam/${PACKAGE}.opam ${OUTPUT_DIR}/tmp/url \