diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-12-02 14:05:41 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-12-02 14:05:41 +0100 |
commit | 55ac8abb71d589c303d0c6a35f1d2c3b7a0adcba (patch) | |
tree | 133f9b128a6de7bc2d10847669cb95ed1c1a80a5 /test/cminor/mainlists.c | |
parent | 7576599c91a7be973369349d25969f4a3d1c623c (diff) | |
download | compcert-55ac8abb71d589c303d0c6a35f1d2c3b7a0adcba.tar.gz compcert-55ac8abb71d589c303d0c6a35f1d2c3b7a0adcba.zip |
fix targets in section for code generation options
Diffstat (limited to 'test/cminor/mainlists.c')
0 files changed, 0 insertions, 0 deletions