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 clean -fxd
-
- make -C tests
-
- # verify that stage.bin is stable
- cp cvm/stage.bin ref.bin
- make -C cvm updatebootstrap
- cmp cvm/stage.bin ref.bin
- rm ref.bin
|