summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-07-12 08:47:15 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-07-12 08:47:15 (GMT)
commit21842b5910e7f62368e2cedb12e9920dc9b3c78c (patch)
tree0dc82b51897560a6d109007e95393aaa19f8f5dd /tools
parent429be50c73179ca2d14fae8ca61fb6432002c206 (diff)
Add D.U.M.A., the Electric Fence successor.
Diffstat (limited to 'tools')
-rwxr-xr-xtools/addToolVersion.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/addToolVersion.sh b/tools/addToolVersion.sh
index 6473b27..eeec119 100755
--- a/tools/addToolVersion.sh
+++ b/tools/addToolVersion.sh
@@ -8,7 +8,7 @@ doHelp() {
Usage: ${myname} <tool> [option] <version>
'tool' in one of:
--gcc, --binutils, --glibc, --uClibc, --linux,
- --gdb, --dmalloc
+ --gdb, --dmalloc, --duma
Valid options for all tools:
--experimental, -x
@@ -55,6 +55,7 @@ while [ $i -le $# ]; do
--linux) cat=KERNEL; tool=linux; tool_prefix=kernel_; tool_suffix=;;
--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=;;
# Tools options:
-x|--experimental) EXP=1; OBS=;;
-o|--obsolete) OBS=1; EXP=;;