gcc/config/gnu-user.opt

   1 ; Options for systems using gnu-user.h.
   2
   3 ; Copyright (C) 2011-2017 Free Software Foundation, Inc.
   4 ;
   5 ; This file is part of GCC.
   6 ;
   7 ; GCC is free software; you can redistribute it and/or modify it under
   8 ; the terms of the GNU General Public License as published by the Free
   9 ; Software Foundation; either version 3, or (at your option) any later
  10 ; version.
  11 ;
  12 ; GCC is distributed in the hope that it will be useful, but WITHOUT ANY
  13 ; WARRANTY; without even the implied warranty of MERCHANTABILITY or
  14 ; FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  15 ; for more details.
  16 ;
  17 ; You should have received a copy of the GNU General Public License
  18 ; along with GCC; see the file COPYING3.  If not see
  19 ; <http://www.gnu.org/licenses/>.
  20
  21 ; See the GCC internals manual (options.texi) for a description of
  22 ; this file's format.
  23
  24 ; Please try to keep this file in ASCII collating order.
  25
  26 posix
  27 Driver
  28
  29 profile
  30 Driver
  31
  32 pthread
  33 Driver
  34
  35 rdynamic
  36 Driver
  37
  38 ; This comment is to ensure we retain the blank line above.