gcc/config/gnu-user.opt

   1 ; Options for systems using gnu-user.h.
   2
   3 ; Copyright (C) 2011
   4 ; Free Software Foundation, Inc.
   5 ;
   6 ; This file is part of GCC.
   7 ;
   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.
  12 ;
  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.
  17 ;
  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/>.
  21
  22 ; See the GCC internals manual (options.texi) for a description of
  23 ; this file's format.
  24
  25 ; Please try to keep this file in ASCII collating order.
  26
  27 posix
  28 Driver
  29
  30 profile
  31 Driver
  32
  33 pthread
  34 Driver
  35
  36 rdynamic
  37 Driver
  38
  39 ; This comment is to ensure we retain the blank line above.