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