gdb python setup problem

[Joel Brobecker]

> To source a python script (e.g. '(gdb) source myscript.py'), you'll
> need GDB 7.1.

As a workaround, you can also use:

    (gdb) python execfile("toto.py")
    Hello world

-- 
Joel