diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-29 11:15:29 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-29 11:15:29 +0100 |
commit | c130f4936bad11fd6dab3a5d142b870d2a5f650c (patch) | |
tree | f1a529ef15e87c377ecdde78262bea5196aa7643 /cparser/Env.ml | |
parent | 7e71f5071b19415b4b285702e1753c9a82523acb (diff) | |
download | compcert-c130f4936bad11fd6dab3a5d142b870d2a5f650c.tar.gz compcert-c130f4936bad11fd6dab3a5d142b870d2a5f650c.zip |
Use Unix.create_process instead of Sys.command (continued).
Diffstat (limited to 'cparser/Env.ml')
0 files changed, 0 insertions, 0 deletions