Nevar pievienot vairāk kā 25 tēmas
Tēmai ir jāsākas ar burtu vai ciparu, tā var saturēt domu zīmes ('-') un var būt līdz 35 simboliem gara.
|
- #!/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
|