OSDN Git Service

(flag_allow_single_precision): New variable.
authorrms <rms@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 23 Sep 1993 02:04:32 +0000 (02:04 +0000)
committerrms <rms@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 23 Sep 1993 02:04:32 +0000 (02:04 +0000)
commit80c11039fad07fc9898ea6194a184b5cd31b24b9
treea3ec7724a164e22e7557e07e16507e6749529bbf
parentac64c8ce48b3acd6ecdb878d2f220dba88e3accc
(flag_allow_single_precision): New variable.
(c_decode_option): Handle -fallow-single-precision.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@5425 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/c-decl.c