OSDN Git Service

* arm/arm.c (output_option, output_options, m_options): Delete.
authordje <dje@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 17 May 1996 16:15:02 +0000 (16:15 +0000)
committerdje <dje@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 17 May 1996 16:15:02 +0000 (16:15 +0000)
commit8b3d0481fb48c19e3be2033734f16c242a82a7e8
treef46223c9955094c5dd3442d879abbac2b5e182a5
parent9370b800336d7a6fecec655ee2b460c3801c969e
* arm/arm.c (output_option, output_options, m_options): Delete.

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