diff -r d95ccd73ed92 -r 42650dc4e95e tools/addToolVersion.sh
--- a/tools/addToolVersion.sh	Sat May 19 22:54:20 2007 +0000
+++ b/tools/addToolVersion.sh	Thu Jul 12 08:47:15 2007 +0000
@@ -8,7 +8,7 @@
 Usage: ${myname} <tool> [option] <version>
   'tool' in one of:
     --gcc, --binutils, --glibc, --uClibc, --linux,
-    --gdb, --dmalloc
+    --gdb, --dmalloc, --duma
 
   Valid options for all tools:
     --experimental, -x
@@ -55,6 +55,7 @@
         --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=;;
+        --duma)             cat=DUMA;      tool=duma;     tool_prefix=debug/    tool_suffix=;;
         # Tools options:
         -x|--experimental)  EXP=1; OBS=;;
         -o|--obsolete)      OBS=1; EXP=;;