scripts/build/tools.sh
changeset 182 223c84ec2d90
parent 148 567f1673d59d
child 479 05c62432ec19
     1.1 --- a/scripts/build/tools.sh	Fri Jun 01 16:55:33 2007 +0000
     1.2 +++ b/scripts/build/tools.sh	Sun Jul 01 19:04:20 2007 +0000
     1.3 @@ -2,7 +2,7 @@
     1.4  
     1.5  # List all tools facilities, and parse their scripts
     1.6  CT_TOOLS_FACILITY_LIST=
     1.7 -for f in "${CT_TOP_DIR}/scripts/build/tools/"*.sh; do
     1.8 +for f in "${CT_LIB_DIR}/scripts/build/tools/"*.sh; do
     1.9      is_enabled=
    1.10      . "${f}"
    1.11      f=`basename "${f}" .sh`