summaryrefslogtreecommitdiffstats
path: root/gcc
diff options
context:
space:
mode:
authorneroden <neroden@138bc75d-0d04-0410-961f-82ee72b054a4>2002-11-13 21:19:51 +0000
committerneroden <neroden@138bc75d-0d04-0410-961f-82ee72b054a4>2002-11-13 21:19:51 +0000
commitbc4d331c78ead0dfe0ce2636c9677f742810e2bd (patch)
treeb8ed63be516ae5bb06a9ff5da7eda6a068ca2d3f /gcc
parent5f38bed95b9f2c1645cbfdf62a70f9fa28252403 (diff)
downloadppe42-gcc-bc4d331c78ead0dfe0ce2636c9677f742810e2bd.tar.gz
ppe42-gcc-bc4d331c78ead0dfe0ce2636c9677f742810e2bd.zip
2002-11-13 Nathanael Nerode <neroden@gcc.gnu.org>
PR ada/6558 * config-lang.in: Remove diff_excludes. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@59088 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ada/ChangeLog4
-rw-r--r--gcc/ada/config-lang.in3
2 files changed, 4 insertions, 3 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 11281d42a32..b854abce581 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2002-11-13 Nathanael Nerode <neroden@gcc.gnu.org>
+ PR ada/6558
+ * config-lang.in: Remove diff_excludes.
+
2002-11-05 Graham Stott <graham.stott@btinternet.com>
PR ada/8358
* trans.c (gnu_pending_elaboration_lists): New GC root.
diff --git a/gcc/ada/config-lang.in b/gcc/ada/config-lang.in
index b0fe156af13..445551eed8b 100644
--- a/gcc/ada/config-lang.in
+++ b/gcc/ada/config-lang.in
@@ -25,7 +25,6 @@
# boot_language - "yes" if we need to build this language in stage1
# compilers - value to add to $(COMPILERS)
# stagestuff - files to add to $(STAGESTUFF)
-# diff_excludes - files to ignore when building diffs between two versions.
language="ada"
boot_language=yes
@@ -37,6 +36,4 @@ stagestuff="gnatbind\$(exeext) gnat1\$(exeext)"
gtfiles="\$(srcdir)/ada/ada-tree.h \$(srcdir)/ada/gigi.h \$(srcdir)/ada/decl.c \$(srcdir)/ada/trans.c \$(srcdir)/ada/utils.c"
-diff_excludes="-x ada/a-einfo.h -x ada/a-sinfo.h -x ada/nmake.adb -x ada/nmake.ads -x ada/treeprs.ads -x ada/sysid.ads"
-
outputs=ada/Makefile
OpenPOWER on IntegriCloud