From dedf611bbe028f4a1235685ca4edc205e9efd170 Mon Sep 17 00:00:00 2001 From: Keisuke Fukuda Date: Thu, 30 May 2019 16:21:44 +0900 Subject: [PATCH] fix --- mpienv/openmpi.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/mpienv/openmpi.py b/mpienv/openmpi.py index a28dbe1..162ae97 100644 --- a/mpienv/openmpi.py +++ b/mpienv/openmpi.py @@ -9,6 +9,8 @@ def _call_ompi_info(bin): + if not os.path.exists(bin): + raise RuntimeError("ompi_info does not exist: {}".format(bin)) out = check_output([bin, '--all', '--parsable'], stderr=util.DEVNULL) out = util.decode(out)