Re: running in the build directory

[Bruno Haible]

>     (*)
>     $ src/poke 
>     /media/develdata/devel/inst-x86_64-64/share/poke/std.pk:45:30: error: 
> invalid unit in offset type
>     deftype off64 = offset<int64,b>;
>                                  ^

I had a build from a couple of weeks ago, installed with "make install".
Now I did
  $ make -k distclean
  $ git pull
  $ ./bootstrap --skip-po
  $ ./configure --prefix=SAME_PREFIX_AS_LAST_TIME
  $ make
  $ make check
  $ src/poke
and the freshly built poke apparently used the data files from the older
installed release.

You 'run' script appears to be the solution.

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

Bruno