diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-11-16 14:00:11 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-11-16 14:00:11 +0100 |
commit | ef4334c5b3984277a0844ba94f6b3945152e3637 (patch) | |
tree | 8662694367b23122ddd3dae2ecd5675fbdada1cc /test/cminor/almabench.cmp | |
parent | c0e30d13ba9f9fac433828f046346281904508f2 (diff) | |
download | compcert-ef4334c5b3984277a0844ba94f6b3945152e3637.tar.gz compcert-ef4334c5b3984277a0844ba94f6b3945152e3637.zip |
Revised parsing of command-line arguments (in preparation for adding more).
Honor "ccomp -E foo.h" for GCC compatibility.
Accept .o.ext files as object files for GCC compatibility.
Fixed and improved handling of Cminor source files.
Diffstat (limited to 'test/cminor/almabench.cmp')
0 files changed, 0 insertions, 0 deletions