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 /arm/Archi.v | |
parent | 90fa21ae8ef165407eb33477f7d96e0e61f4ae23 (diff) | |
download | compcert-97257c59566d9506a2ff397ec35fff7b59506a8f.tar.gz compcert-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 'arm/Archi.v')
0 files changed, 0 insertions, 0 deletions