On Sun, 3 Mar 2019, Sven Schreiber wrote:
Am 03.03.2019 um 08:22 schrieb Clive Nicholas:
> clive@clivubu:~/gretl-git$ git pull
...
>
> Then:
>
> gretl version 2019b-git
But you have rebuilt in-between (and also done make install)?
(Sorry if this is a redundant question but it wasn't obvious from your
"log".)
I had the same question. What do
ls -l `which gretlcli`
ls -l `which gretl_x11`
show?
Allin