Am 06.06.20 um 08:05 schrieb Riccardo (Jack) Lucchetti:
On Sat, 6 Jun 2020, Marcin Błażejowski wrote:
> On 31.05.2020 15:35, Allin Cottrell wrote:
>> On Sun, 31 May 2020, Allin Cottrell wrote:
>>
>>> On Sun, 31 May 2020, Marcin Błażejowski wrote:
>>>
>>>> On 29.05.2020 18:10, Allin Cottrell wrote: [etc.]
>>>
>>> Sorry, there's a bug in the Makefile. Fix coming up shortly.
>>
>> Should be OK in git now, I think.
>
> Allin,
>
> now I get the following warning (the code compiles):
This was fixed a couple of days ago. YOu need to re-run configure to
recreate the Makefile.
Executing <make clean> before the <./configure> command may also help .
Artur