config/tools.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Thu Jan 29 18:53:32 2009 +0000 (2009-01-29)
changeset 1174 7710d81d15e7
permissions -rw-r--r--
Use the path discovered by ./configure in scripts/addToolVersion.sh
It now requires that "./configure && make" be run beforehand.

/trunk/scripts/addToolVersion.sh | 10 7 3 0 +++++++---
1 file changed, 7 insertions(+), 3 deletions(-)
yann@924
     1
menu "Tools facilities"
yann@924
     2
source config.gen/tools.in
yann@924
     3
endmenu