os: add execute_or_exit(cmd), use it consistently instead of execute_or_panic(cmd)

This commit is contained in:
Delyan Angelov 2021-07-20 14:04:35 +03:00
parent 850a715c79
commit 5098334e65
No known key found for this signature in database
GPG key ID: 66886C0F12D595ED
12 changed files with 25 additions and 14 deletions

View file

@ -32,7 +32,7 @@ fn main() {
println('resp != 0, skipping')
} else {
os.chdir('website')
os.execute_or_panic('git checkout gh-pages')
os.execute_or_exit('git checkout gh-pages')
os.cp('../index.html', 'index.html') ?
os.system('git commit -am "update benchmark"')
os.system('git push origin gh-pages')