diff options
Diffstat (limited to 'gcc/defaults.h')
| -rw-r--r-- | gcc/defaults.h | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/gcc/defaults.h b/gcc/defaults.h index a1863cd1309..f0cf95df36b 100644 --- a/gcc/defaults.h +++ b/gcc/defaults.h @@ -16,8 +16,13 @@ WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. -You should have received a copy of the GNU General Public License -along with GCC; see the file COPYING3. If not see +Under Section 7 of GPL version 3, you are granted additional +permissions described in the GCC Runtime Library Exception, version +3.1, as published by the Free Software Foundation. + +You should have received a copy of the GNU General Public License and +a copy of the GCC Runtime Library Exception along with this program; +see the files COPYING3 and COPYING.RUNTIME respectively. If not, see <http://www.gnu.org/licenses/>. */ #ifndef GCC_DEFAULTS_H |