2011-03-21 Daniel Jacobowitz <dan@codesourcery.com>
[official-gcc.git] / gcc / config / arm / vxworks.opt
blobbc84783912196e28bb9c378720f0648a2c3342fa
1 ; ARM VxWorks options.
3 ; Copyright (C) 2011
4 ; Free Software Foundation, Inc.
6 ; This file is part of GCC.
8 ; GCC is free software; you can redistribute it and/or modify it under
9 ; the terms of the GNU General Public License as published by the Free
10 ; Software Foundation; either version 3, or (at your option) any later
11 ; version.
13 ; GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 ; WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 ; FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
16 ; for more details.
18 ; You should have received a copy of the GNU General Public License
19 ; along with GCC; see the file COPYING3.  If not see
20 ; <http://www.gnu.org/licenses/>.
22 ; See the GCC internals manual (options.texi) for a description of
23 ; this file's format.
25 ; Please try to keep this file in ASCII collating order.
28 Driver
30 t4be
31 Driver
33 t4t
34 Driver
36 t4tbe
37 Driver
40 Driver
42 t5be
43 Driver
45 t5t
46 Driver
48 t5tbe
49 Driver
51 tstrongarm
52 Driver
54 txscale
55 Driver
57 txscalebe
58 Driver
60 ; This comment is to ensure we retain the blank line above.