summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-07-12 13:34:56 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-07-12 13:34:56 (GMT)
commit28f92e8b09e92f213698ae3ca6aed6356b0bae8a (patch)
tree861ee20856751afecd57655ff741b48f4ecd01aa /tools
parent9e90a9a9e26121937f1ac38446242eaa456e6290 (diff)
Add strace debugging aid.
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 eeec119..941a486 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, --duma
+ --gdb, --dmalloc, --duma, --strace
Valid options for all tools:
--experimental, -x
@@ -56,6 +56,7 @@ while [ $i -le $# ]; do
--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=;;
+ --strace) cat=STRACE; tool=strace; tool_prefix=debug/ tool_suffix=;;
# Tools options:
-x|--experimental) EXP=1; OBS=;;
-o|--obsolete) OBS=1; EXP=;;