tools/addToolVersion.sh
changeset 103 b6e20abe9256
parent 96 aa1a9fbd6eb8
child 109 d95ccd73ed92
     1.1 --- a/tools/addToolVersion.sh	Thu May 17 16:22:51 2007 +0000
     1.2 +++ b/tools/addToolVersion.sh	Fri May 18 15:57:16 2007 +0000
     1.3 @@ -7,7 +7,8 @@
     1.4      cat <<-EOF
     1.5  Usage: ${myname} <tool> [option] <version>
     1.6    'tool' in one of:
     1.7 -    --gcc, --binutils, --glibc, --uClibc, --linux, --gdb
     1.8 +    --gcc, --binutils, --glibc, --uClibc, --linux,
     1.9 +    --gdb, --dmalloc
    1.10  
    1.11    Valid options for all tools:
    1.12      --experimental, -x
    1.13 @@ -53,6 +54,7 @@
    1.14          --uClibc)           cat=LIBC;      tool=uClibc;   tool_prefix=libc_;    tool_suffix=;;
    1.15          --linux)            cat=KERNEL;    tool=linux;    tool_prefix=kernel_;  tool_suffix=;;
    1.16          --gdb)              cat=GDB;       tool=gdb;      tool_prefix=debug/    tool_suffix=;;
    1.17 +        --dmalloc)          cat=DMALLOC;   tool=dmalloc;  tool_prefix=debug/    tool_suffix=;;
    1.18          # Tools options:
    1.19          -x|--experimental)  EXP=1; OBS=;;
    1.20          -o|--obsolete)      OBS=1; EXP=;;