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 /pg | |
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 'pg')
0 files changed, 0 insertions, 0 deletions