diff options
| author |   Alexey Neyman <stilor@att.net> | 2016-12-17 22:26:13 (GMT) |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2016-12-17 22:26:13 (GMT) |
| commit | cccb8d84817bca1cf1d33cfdb5932f361437c229 (patch) | |
| tree | 60c299213161c35280e6a5ddbeb49713cf944eea /scripts/addToolVersion.sh | |
| parent | a72f841bc2d2a1b3db838d3178d46f010b2f760e (diff) | |
| parent | e593a1a30b193f7aef2f439a28f162e8c5b3fd6e (diff) | |
Merge pull request #508 from stilor/drop-dmalloc
Drop dmalloc
Diffstat (limited to 'scripts/addToolVersion.sh')
| -rwxr-xr-x | scripts/addToolVersion.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/scripts/addToolVersion.sh b/scripts/addToolVersion.sh index 643dcbb..1976743 100755 --- a/scripts/addToolVersion.sh +++ b/scripts/addToolVersion.sh @@ -16,7 +16,7 @@ doHelp() { cat <<-EOF Usage: ${myname} <--tool> <[options] version [...]> ... 'tool' in one of: - gcc, binutils, glibc, uClibc, uClibc-ng, newlib, linux, gdb, dmalloc, + gcc, binutils, glibc, uClibc, uClibc-ng, newlib, linux, gdb, duma, strace, ltrace, libelf, gmp, mpfr, isl, cloog, mpc, mingw-w64, expat, ncurses @@ -194,7 +194,6 @@ while [ $# -gt 0 ]; do --mingw-w64)EXP=; OBS=; cat=WINAPI; tool=mingw; tool_prefix=libc; dot2suffix=;; --linux) EXP=; OBS=; cat=KERNEL; tool=linux; tool_prefix=kernel; dot2suffix=;; --gdb) EXP=; OBS=; cat=GDB; tool=gdb; tool_prefix=debug; dot2suffix=;; - --dmalloc) EXP=; OBS=; cat=DMALLOC; tool=dmalloc; tool_prefix=debug; dot2suffix=;; --duma) EXP=; OBS=; cat=DUMA; tool=duma; tool_prefix=debug; dot2suffix=;; --strace) EXP=; OBS=; cat=STRACE; tool=strace; tool_prefix=debug; dot2suffix=;; --ltrace) EXP=; OBS=; cat=LTRACE; tool=ltrace; tool_prefix=debug; dot2suffix=;; |