diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-06 11:08:58 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-06 11:08:58 +0200 |
| commit | 55eb2d92376f592258855cfa5c0cfbbf39e8e833 (patch) | |
| tree | 33ef79b3c21e3737202469cc6fb0bda064dd1146 /Makefile.extr | |
| parent | 7c8693320818d00b26b4c36c2a01a5fe67c0c71b (diff) | |
| download | compcert-55eb2d92376f592258855cfa5c0cfbbf39e8e833.tar.gz compcert-55eb2d92376f592258855cfa5c0cfbbf39e8e833.zip | |
Fast fix for functions in different sections in one compilation unit for gcc.
Diffstat (limited to 'Makefile.extr')
0 files changed, 0 insertions, 0 deletions