tools/addToolVersion.sh
changeset 245 134ac2c35c49
parent 239 988e9b7f70eb
child 322 3f14c769a4dc
     1.1 --- a/tools/addToolVersion.sh	Thu Jul 12 13:34:56 2007 +0000
     1.2 +++ b/tools/addToolVersion.sh	Fri Jul 13 12:22:34 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, --strace
     1.8 +    --gdb, --dmalloc, --duma, --strace, --ltrace, --libelf
     1.9  
    1.10    Valid options for all tools:
    1.11      --experimental, -x
    1.12 @@ -57,6 +57,8 @@
    1.13          --dmalloc)          cat=DMALLOC;   tool=dmalloc;  tool_prefix=debug/    tool_suffix=;;
    1.14          --duma)             cat=DUMA;      tool=duma;     tool_prefix=debug/    tool_suffix=;;
    1.15          --strace)           cat=STRACE;    tool=strace;   tool_prefix=debug/    tool_suffix=;;
    1.16 +        --ltrace)           cat=LTRACE;    tool=ltrace;   tool_prefix=debug/    tool_suffix=;;
    1.17 +        --libelf)           cat=LIBELF;    tool=libelf;   tool_prefix=tools/    tool_suffix=;;
    1.18          # Tools options:
    1.19          -x|--experimental)  EXP=1; OBS=;;
    1.20          -o|--obsolete)      OBS=1; EXP=;;