Lines Matching refs:subprocess
21 import subprocess
152 return subprocess.check_output(cmdline, stderr=subprocess.STDOUT, **kwargs)
153 except subprocess.CalledProcessError as exn:
211 camkes_tool_rev = subprocess.check_output(
215 except subprocess.CalledProcessError as exn:
226 isabelle_rev = subprocess.check_output(
230 except subprocess.CalledProcessError as exn:
239 l4v_rev = subprocess.check_output(
243 except subprocess.CalledProcessError as exn:
250 ninja_version = subprocess.check_output(