Strip out /usr/bin/env from the interpreter cmd,

it's apparently confusing gdb.
This commit is contained in:
Marco Pesenti Gritti 2007-11-13 14:19:07 +01:00
parent 4193189238
commit 0aa31147db

View File

@ -55,6 +55,10 @@ def _get_interpreter(exec_file):
if line.startswith('#!'): if line.startswith('#!'):
cmds = line[2:].strip().split(' ') cmds = line[2:].strip().split(' ')
cmds.append(abs_path) cmds.append(abs_path)
if '/usr/bin/env' in cmds:
cmds.remove('/usr/bin/env')
return cmds return cmds
return exec_file return exec_file