scripts/build/tools.sh
changeset 564 30fbb26a83b4
parent 479 05c62432ec19
child 916 68af6b83ff7e
     1.1 --- a/scripts/build/tools.sh	Fri May 02 21:59:14 2008 +0000
     1.2 +++ b/scripts/build/tools.sh	Sun Jun 15 22:02:45 2008 +0000
     1.3 @@ -5,9 +5,9 @@
     1.4  for f in "${CT_LIB_DIR}/scripts/build/tools/"*.sh; do
     1.5      is_enabled=
     1.6      . "${f}"
     1.7 -    f=$(basename "${f#???-}" .sh)
     1.8 +    f=$(basename "${f}" .sh)
     1.9      if [ "${is_enabled}" = "y" ]; then
    1.10 -        CT_TOOLS_FACILITY_LIST="${CT_TOOLS_FACILITY_LIST} ${f}"
    1.11 +        CT_TOOLS_FACILITY_LIST="${CT_TOOLS_FACILITY_LIST} ${f#???-}"
    1.12      fi
    1.13  done
    1.14