diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-05-18 15:57:16 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-05-18 15:57:16 (GMT) |
commit | 5e43e3ea8637a08b04dcd177798daf398aedfee2 (patch) | |
tree | d5a87507e690cad298885cc574b072f1b24aa824 /tools | |
parent | a5a431f8519b782dbb0c9d57cee7b306cea7191d (diff) |
Add dmalloc debug library facility.
Add patches for dmalloc.
Ignore the generated config/debug.in
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/addToolVersion.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/addToolVersion.sh b/tools/addToolVersion.sh index cab0235..fc741c5 100755 --- a/tools/addToolVersion.sh +++ b/tools/addToolVersion.sh @@ -7,7 +7,8 @@ doHelp() { cat <<-EOF Usage: ${myname} <tool> [option] <version> 'tool' in one of: - --gcc, --binutils, --glibc, --uClibc, --linux, --gdb + --gcc, --binutils, --glibc, --uClibc, --linux, + --gdb, --dmalloc Valid options for all tools: --experimental, -x @@ -53,6 +54,7 @@ while [ $i -le $# ]; do --uClibc) cat=LIBC; tool=uClibc; tool_prefix=libc_; tool_suffix=;; --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=;; # Tools options: -x|--experimental) EXP=1; OBS=;; -o|--obsolete) OBS=1; EXP=;; |