History log of /seL4-l4v-master/l4v/isabelle/Admin/bash_process/bash_process.c
Revision Date Author Comments
# 5908e709 09-Mar-2016 wenzelm <none@none>

ignore SIGINT in waiting wrapper process;
proper "bash_process.c" and "build" within component;
# 4c03ecde 09-Mar-2016 wenzelm <none@none>

elapsed time in milliseconds (cf. Time.now in Poly/ML);
# 9a7f1de6 09-Mar-2016 wenzelm <none@none>

support for timing of the managed process;
# 766e87fc 13-Feb-2016 wenzelm <none@none>

actually wait for forked process and return its status -- this is not meant to be a daemon;
# 75dd30df 13-Feb-2016 wenzelm <none@none>

clarified name;

--HG--
rename : Admin/exec_process/exec_process.c => Admin/bash_process/bash_process.c
rename : Admin/exec_process/build => Admin/bash_process/build
rename : Admin/exec_process/etc/settings => Admin/bash_process/etc/settings