From 8653d6dd54d505b7e6806f754d1a47a251d446a9 Mon Sep 17 00:00:00 2001 From: Connor Olding Date: Tue, 4 Oct 2022 04:55:39 -0700 Subject: [PATCH] add cosmo-muon to build script --- build-all | 2 ++ 1 file changed, 2 insertions(+) diff --git a/build-all b/build-all index 4b4094d..32eed61 100755 --- a/build-all +++ b/build-all @@ -52,6 +52,7 @@ dbg_retrieve() \ && podman build -t notwa-util notwa-util \ && podman build -t cosmo cosmo \ && podman build -t cosmo-kuroko cosmo-kuroko \ + && podman build -t cosmo-muon cosmo-muon \ && podman build -t cosmo-perl cosmo-perl \ && podman build -t cosmo-yices cosmo-yices \ \ @@ -63,6 +64,7 @@ dbg_retrieve() \ && yes_retrieve cosmo /cosmopolitan/bin/unzip.com \ && yes_retrieve cosmo /cosmopolitan/bin/zip.com \ && dbg_retrieve cosmo-kuroko /bin/kuroko.com \ + && dbg_retrieve cosmo-muon /bin/muon.com \ && dbg_retrieve cosmo-perl /bin/perl.com \ && dbg_retrieve cosmo-yices /bin/kissat.com \ && dbg_retrieve cosmo-yices /bin/yices-sat.com \