gcc/config/openbsd.opt

   1 ; OpenBSD options.
   2
   3 ; Copyright (C) 2010-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 assert=
  27 Driver JoinedOrMissing
  28
  29 posix
  30 Driver
  31
  32 pthread
  33 Driver
  34
  35 ; This comment is to ensure we retain the blank line above.