diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-04-10 08:50:34 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-04-10 08:50:34 +0200 |
| commit | e417b9467400b997b2e92deff1fa597d0dce479f (patch) | |
| tree | 27a6e6bc3d0cb40a0fe4a29e362e84cc6304e09e /Makefile.menhir | |
| parent | a51d625ac5005c2b2f701396e2c75d82eb102e30 (diff) | |
| download | compcert-e417b9467400b997b2e92deff1fa597d0dce479f.tar.gz compcert-e417b9467400b997b2e92deff1fa597d0dce479f.zip | |
Revert "preserve static initialized variables (#81)"
This part of PR#81 causes problems with long double static variables
in math.h. Revert to the old behavior of not including static
variables unless actually referenced.
Diffstat (limited to 'Makefile.menhir')
0 files changed, 0 insertions, 0 deletions