diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-17 11:32:16 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-17 11:32:16 +0100 |
| commit | 97257c59566d9506a2ff397ec35fff7b59506a8f (patch) | |
| tree | 3fae4bbbe083360bd7be553b9d32c40041bb5235 /common/Sections.mli | |
| parent | 90fa21ae8ef165407eb33477f7d96e0e61f4ae23 (diff) | |
| download | compcert-kvx-97257c59566d9506a2ff397ec35fff7b59506a8f.tar.gz compcert-kvx-97257c59566d9506a2ff397ec35fff7b59506a8f.zip | |
Use cp instead of symbolic links for executables.
Now that we search for compcert.ini from Sys.executable, symbolic links cause compcert.ini not to be found.
Diffstat (limited to 'common/Sections.mli')
0 files changed, 0 insertions, 0 deletions