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.
yann@924
     1
menu "Tools facilities"
yann@924
     2
source config.gen/tools.in
yann@924
     3
endmenu