Debug facilities:

  - add a framework to easily add new ones
  - add gdb as a first debug facility
  - add patches for gdb
After the kernel checked its installed headers, clean up the mess of .checked.* files.
Reorder scripts/crosstool.sh:
  - dump the configuration early
  - renice early
  - get info about build system early, when setting up the environment
  - when in cross or native, the host tools are those of the build system, and only in this case
  - elapsed time calculations moved to scripts/functions
Remove handling of the color: it's gone once and for all.
Update tools/addToolVersion.sh:
  - handle debug facilities
  - commonalise some code
  - remove dead tools (cygwin, tcc)
Point to my address for bug reports.

1 files changed, 46 insertions, 0 deletions

diff --git a/patches/gdb/6.3/820-debian_disable-linux-fork-messages.patch b/patches/gdb/6.3/820-debian_disable-linux-fork-messages.patch
new file mode 100644
index 00000000..60730abc
--- /dev/null
+++ b/patches/gdb/6.3/820-debian_disable-linux-fork-messages.patch
@@ -0,0 +1,46 @@
+Status: Proposed upstream after 6.3, not yet committed.
+
+2004-12-06  Daniel Jacobowitz  <dan@debian.org>
+
+	* linux-nat.c (child_follow_fork): Call target_terminal_ours before
+	printing output.  Use fprintf_unfiltered.  Only print output when
+	debugging.
+
+Index: gdb-6.3/gdb/linux-nat.c
+===================================================================
+--- gdb-6.3.orig/gdb/linux-nat.c	2004-12-08 18:22:20.386956067 -0500
++++ gdb-6.3/gdb/linux-nat.c	2004-12-08 18:28:49.995585970 -0500
+@@ -347,9 +347,13 @@ child_follow_fork (int follow_child)
+ 	 also, but they'll be reinserted below.  */
+       detach_breakpoints (child_pid);
+ 
+-      fprintf_filtered (gdb_stdout,
+-			"Detaching after fork from child process %d.\n",
+-			child_pid);
++      if (debug_linux_nat)
++	{
++	  target_terminal_ours ();
++	  fprintf_unfiltered (gdb_stdlog,
++			      "Detaching after fork from child process %d.\n",
++			      child_pid);
++	}
+ 
+       ptrace (PTRACE_DETACH, child_pid, 0, 0);
+ 
+@@ -418,9 +422,13 @@ child_follow_fork (int follow_child)
+       /* Before detaching from the parent, remove all breakpoints from it. */
+       remove_breakpoints ();
+ 
+-      fprintf_filtered (gdb_stdout,
+-			"Attaching after fork to child process %d.\n",
+-			child_pid);
++      if (debug_linux_nat)
++	{
++	  target_terminal_ours ();
++	  fprintf_unfiltered (gdb_stdlog,
++			      "Attaching after fork to child process %d.\n",
++			      child_pid);
++	}
+ 
+       /* If we're vforking, we may want to hold on to the parent until
+ 	 the child exits or execs.  At exec time we can remove the old