mirror of
https://github.com/vlang/v.git
synced 2025-09-13 22:42:26 +03:00
tools: allow for fast exiting in compare_pr_to_master.v through Ctrl-C (or any failed command)
This commit is contained in:
parent
ce63593800
commit
1cf38ed501
1 changed files with 5 additions and 1 deletions
6
.github/workflows/compare_pr_to_master.v
vendored
6
.github/workflows/compare_pr_to_master.v
vendored
|
@ -12,7 +12,11 @@ fn gcommit() string {
|
|||
}
|
||||
|
||||
fn r(cmd string) {
|
||||
os.system(cmd)
|
||||
res := os.system(cmd)
|
||||
if res != 0 {
|
||||
eprintln('> failed running: `${cmd}`')
|
||||
exit(1)
|
||||
}
|
||||
}
|
||||
|
||||
fn xtime(cmd string) {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue