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 \