internals: fix stripping
author"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Dec 12 20:47:40 2010 +0100 (2010-12-12)
changeset 221410d4f2bc227b
parent 2213 6aa057745dbd
child 2215 bd86485d966a
internals: fix stripping

Do not try to strip any script.

Previously, only shell scripts were ignored, but when the Java frontend
is installed, it also installs a Python script. So we have to ignore
any "script text executable", and not restrict it to "shell script text
executable".

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
scripts/build/internals.sh
     1.1 --- a/scripts/build/internals.sh	Sun Dec 05 16:27:06 2010 +0100
     1.2 +++ b/scripts/build/internals.sh	Sun Dec 12 20:47:40 2010 +0100
     1.3 @@ -28,7 +28,7 @@
     1.4          ; do
     1.5              _type="$( file "${_t}" |cut -d ' ' -f 2- )"
     1.6              case "${_type}" in
     1.7 -                *"shell script text executable")
     1.8 +                *"script text executable")
     1.9                      ;;
    1.10                  *executable*)
    1.11                      CT_DoExecLog ALL ${CT_HOST}-strip ${strip_args} "${_t}"