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 /cfrontend | |
| parent | 7e71f5071b19415b4b285702e1753c9a82523acb (diff) | |
| download | compcert-c130f4936bad11fd6dab3a5d142b870d2a5f650c.tar.gz compcert-c130f4936bad11fd6dab3a5d142b870d2a5f650c.zip | |
Use Unix.create_process instead of Sys.command (continued).
Diffstat (limited to 'cfrontend')
0 files changed, 0 insertions, 0 deletions