11debfc3dSmrg; RTEMS options. 21debfc3dSmrg 3*8feb0f0bSmrg; Copyright (C) 2010-2020 Free Software Foundation, Inc. 41debfc3dSmrg; 51debfc3dSmrg; This file is part of GCC. 61debfc3dSmrg; 71debfc3dSmrg; GCC is free software; you can redistribute it and/or modify it under 81debfc3dSmrg; the terms of the GNU General Public License as published by the Free 91debfc3dSmrg; Software Foundation; either version 3, or (at your option) any later 101debfc3dSmrg; version. 111debfc3dSmrg; 121debfc3dSmrg; GCC is distributed in the hope that it will be useful, but WITHOUT ANY 131debfc3dSmrg; WARRANTY; without even the implied warranty of MERCHANTABILITY or 141debfc3dSmrg; FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 151debfc3dSmrg; for more details. 161debfc3dSmrg; 171debfc3dSmrg; You should have received a copy of the GNU General Public License 181debfc3dSmrg; along with GCC; see the file COPYING3. If not see 191debfc3dSmrg; <http://www.gnu.org/licenses/>. 201debfc3dSmrg 211debfc3dSmrg; See the GCC internals manual (options.texi) for a description of 221debfc3dSmrg; this file's format. 231debfc3dSmrg 241debfc3dSmrg; Please try to keep this file in ASCII collating order. 251debfc3dSmrg 261debfc3dSmrgpthread 271debfc3dSmrgIgnore 281debfc3dSmrg 291debfc3dSmrgqnolinkcmds 301debfc3dSmrgDriver 311debfc3dSmrg 321debfc3dSmrgqrtems 331debfc3dSmrgDriver 341debfc3dSmrg 351debfc3dSmrg; This comment is to ensure we retain the blank line above. 36