diff -r aa1a9fbd6eb8 -r b6e20abe9256 tools/addToolVersion.sh
--- a/tools/addToolVersion.sh	Thu May 17 16:22:51 2007 +0000
+++ b/tools/addToolVersion.sh	Fri May 18 15:57:16 2007 +0000
@@ -7,7 +7,8 @@
     cat <<-EOF
 Usage: ${myname} <tool> [option] <version>
   'tool' in one of:
-    --gcc, --binutils, --glibc, --uClibc, --linux, --gdb
+    --gcc, --binutils, --glibc, --uClibc, --linux,
+    --gdb, --dmalloc
 
   Valid options for all tools:
     --experimental, -x
@@ -53,6 +54,7 @@
         --uClibc)           cat=LIBC;      tool=uClibc;   tool_prefix=libc_;    tool_suffix=;;
         --linux)            cat=KERNEL;    tool=linux;    tool_prefix=kernel_;  tool_suffix=;;
         --gdb)              cat=GDB;       tool=gdb;      tool_prefix=debug/    tool_suffix=;;
+        --dmalloc)          cat=DMALLOC;   tool=dmalloc;  tool_prefix=debug/    tool_suffix=;;
         # Tools options:
         -x|--experimental)  EXP=1; OBS=;;
         -o|--obsolete)      OBS=1; EXP=;;