meta: superficial changes
This commit is contained in:
parent
d44528a346
commit
019a09689f
1 changed files with 10 additions and 8 deletions
18
build-all
18
build-all
|
@ -50,13 +50,15 @@ build() { : \
|
|||
&& build cosmo-perl \
|
||||
&& build cosmo-yices \
|
||||
\
|
||||
&& yes_retrieve cosmo-base /cosmopolitan/bin/ape \
|
||||
&& bin=/usr/local/bin \
|
||||
&& dbg_retrieve cosmo-all $bin/awk.com $bin/gzip.com $bin/make.com \
|
||||
$bin/sed.com $bin/unbourne.com $bin/unzip.com $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 /bin/yices-sat.com \
|
||||
/bin/yices-smt.com /bin/yices-smt2.com /bin/yices.com \
|
||||
&& yes_retrieve cosmo-base /cosmopolitan/bin/ape \
|
||||
&& dbg_retrieve cosmo-all $bin/awk.com $bin/gzip.com $bin/make.com \
|
||||
$bin/sed.com $bin/unbourne.com $bin/unzip.com \
|
||||
$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 /bin/yices-sat.com \
|
||||
/bin/yices-smt.com /bin/yices-smt2.com \
|
||||
/bin/yices.com \
|
||||
;
|
||||
|
|
Loading…
Reference in a new issue