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 /extraction | |
| parent | c0e30d13ba9f9fac433828f046346281904508f2 (diff) | |
| download | compcert-kvx-ef4334c5b3984277a0844ba94f6b3945152e3637.tar.gz compcert-kvx-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 'extraction')
0 files changed, 0 insertions, 0 deletions