Searched refs:PIPE (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/kernel/manual/tools/
H A Dgen_env.py22 stdout=subprocess.PIPE)
/seL4-test-master/projects/sel4test/apps/sel4test-driver/scripts/
H A Dcoverage.py27 from subprocess import Popen, PIPE namespace
94 kernel_elf_filename], stdout=PIPE)
/seL4-test-master/tools/seL4/misc/
H A Dstyle.py61 completed = subprocess.run([script] + files, stderr=subprocess.PIPE)
H A Dwhence.py100 p = subprocess.Popen(['diff', src, dst], stdout=subprocess.PIPE)

Completed in 45 milliseconds