openmpi-nightly-coverity: ensure the argument is defined
Этот коммит содержится в:
родитель
b207736170
Коммит
7d3708d3b8
@ -74,7 +74,7 @@ sub safe_system {
|
||||
die "Command $cmd failed: exit status $rc";
|
||||
}
|
||||
system("cat $stdout_file")
|
||||
if ($debug_arg && -f $stdout_file);
|
||||
if ($debug_arg && defined($stdout_file) && -f $stdout_file);
|
||||
}
|
||||
|
||||
######################################################################
|
||||
|
Загрузка…
x
Ссылка в новой задаче
Block a user