diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-12-12 19:47:40 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-12-12 19:47:40 (GMT) |
| commit | a9966d1e1cd95baa4c0400c6248f2fab14e2ba48 (patch) | |
| tree | fbd262894dfacffad930820991f148aedb34b34b /config | |
| parent | 2bf2991ebd96a69c3ca413a330e34696eeb286a7 (diff) | |
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>
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions