Re: running in the build directory

[Jose E. Marchesi]

    It would be good to support
      $ ./run gdb poke
    but this fails:
    "/media/develdata/devel/POKE/poke/src/poke": not in executable format: 
Dateiformat nicht erkannt
    
      $ ./libtool --mode=execute gdb poke
    is the documented way to debug a program in the build dir. But this does not
    set the poke data variables.
    
    But
      $ ./run ./libtool --mode=execute gdb poke
    fails:
    "/media/develdata/devel/POKE/poke/src/poke": not in executable format: 
Dateiformat nicht erkannt

In HACKING we document:

Invoking GDB to debug an uninstalled poke
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Since we are using libtool, ``$(builddir)/src/poke`` is a shell
script.  In order to debug the uninstalled poke, you can do::

  $ libtool --mode=execute ./run gdb ./src/poke