# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1292183260 -3600
# Node ID 10d4f2bc227ba8669c654ba9191715565286563a
# Parent  6aa057745dbd76e6637329658c0b190aeb3cfe12
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>

diff -r 6aa057745dbd -r 10d4f2bc227b scripts/build/internals.sh
--- a/scripts/build/internals.sh	Sun Dec 05 16:27:06 2010 +0100
+++ b/scripts/build/internals.sh	Sun Dec 12 20:47:40 2010 +0100
@@ -28,7 +28,7 @@
         ; do
             _type="$( file "${_t}" |cut -d ' ' -f 2- )"
             case "${_type}" in
-                *"shell script text executable")
+                *"script text executable")
                     ;;
                 *executable*)
                     CT_DoExecLog ALL ${CT_HOST}-strip ${strip_args} "${_t}"