config/tools.in
author Joachim Nilsson <jocke@vmlinux.org>
Tue Jan 05 11:43:31 2010 +0100 (2010-01-05)
changeset 1686 7608142e4fc1
permissions -rw-r--r--
debug/ltrace: set the ltrace extension to .tar.gz

Trying to download every extension in turn does not work.
The Debian server returns a friendly 404-page that is
saved as the orig.tar.bz2 file. Help the helper by giving
it the extension to retrieve.
     1 menu "Tools facilities"
     2 source config.gen/tools.in
     3 endmenu