Enable deprecated option only with gcc >= 4.5.
authorRichard W.M. Jones <rjones@redhat.com>
Mon, 20 Jun 2011 09:35:02 +0000 (10:35 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Mon, 20 Jun 2011 09:35:02 +0000 (10:35 +0100)
commit9287197a85a7b51167a3b6c289a129760e6f9936
treee8f2a47bf593eb4bbcab2d3e635f274c853456ec
parentcabfaa857fbd325bd0303fa56b28df8ce52aab33
Enable deprecated option only with gcc >= 4.5.

Before gcc 4.5, the deprecated option did not take the optional string
argument (see [1]).  This caused compilation to fail with gcc < 4.5.

[1] http://gcc.gnu.org/gcc-4.5/changes.html
generator/generator_c.ml