1.1 --- a/tools/addToolVersion.sh	Thu Jul 12 08:47:15 2007 +0000
     1.2 +++ b/tools/addToolVersion.sh	Thu Jul 12 13:34:56 2007 +0000
     1.3 @@ -8,7 +8,7 @@
     1.4  Usage: ${myname} <tool> [option] <version>
     1.5    'tool' in one of:
     1.6      --gcc, --binutils, --glibc, --uClibc, --linux,
     1.7 -    --gdb, --dmalloc, --duma
     1.8 +    --gdb, --dmalloc, --duma, --strace
     1.9  
    1.10    Valid options for all tools:
    1.11      --experimental, -x
    1.12 @@ -56,6 +56,7 @@
    1.13          --gdb)              cat=GDB;       tool=gdb;      tool_prefix=debug/    tool_suffix=;;
    1.14          --dmalloc)          cat=DMALLOC;   tool=dmalloc;  tool_prefix=debug/    tool_suffix=;;
    1.15          --duma)             cat=DUMA;      tool=duma;     tool_prefix=debug/    tool_suffix=;;
    1.16 +        --strace)           cat=STRACE;    tool=strace;   tool_prefix=debug/    tool_suffix=;;
    1.17          # Tools options:
    1.18          -x|--experimental)  EXP=1; OBS=;;
    1.19          -o|--obsolete)      OBS=1; EXP=;;