You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
- #/bin/sh -e
-
- git submodule init
- git submodule update
- git clean -fxd
-
- make -C emul
- make -C tests
-
- # let's try again with an updated boot bin
- make -C emul updatebootstrap all
- make -C tests
|