diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-11 09:32:09 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-11 09:32:09 +0100 |
| commit | 0342889a01aa16162232b0a87a4eb10bdb852ba4 (patch) | |
| tree | 63c9ff7443e18b05275f2c258da3fe758d1413b0 /driver/Configuration.ml | |
| parent | 4d1e02eb67a027d968979ed37f9d90426c634ccd (diff) | |
| download | compcert-kvx-0342889a01aa16162232b0a87a4eb10bdb852ba4.tar.gz compcert-kvx-0342889a01aa16162232b0a87a4eb10bdb852ba4.zip | |
Update the IA32/MacOS X port.
- Prefix symbols with _
- Print indirect symbol definitions
- Suppress __asm() macros in system header files
Diffstat (limited to 'driver/Configuration.ml')
0 files changed, 0 insertions, 0 deletions