1.1 --- a/tools/addToolVersion.sh Sat May 19 22:54:20 2007 +0000
1.2 +++ b/tools/addToolVersion.sh Thu Jul 12 08:47:15 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
1.8 + --gdb, --dmalloc, --duma
1.9
1.10 Valid options for all tools:
1.11 --experimental, -x
1.12 @@ -55,6 +55,7 @@
1.13 --linux) cat=KERNEL; tool=linux; tool_prefix=kernel_; tool_suffix=;;
1.14 --gdb) cat=GDB; tool=gdb; tool_prefix=debug/ tool_suffix=;;
1.15 --dmalloc) cat=DMALLOC; tool=dmalloc; tool_prefix=debug/ tool_suffix=;;
1.16 + --duma) cat=DUMA; tool=duma; tool_prefix=debug/ tool_suffix=;;
1.17 # Tools options:
1.18 -x|--experimental) EXP=1; OBS=;;
1.19 -o|--obsolete) OBS=1; EXP=;;