Re: GNU make troubleshooting

[Paul Smith]

On Mon, 2023-07-10 at 21:47 +0200, Bruno Haible wrote:
> Paul Smith wrote:
> > Maybe a version difference.  I'm using 4.4.
> 
> I get the same output with GNU make 4.4 as with 4.3.

Apologies for my mistake: I'm using the latest release (4.4.1).
I tried your test:

  $ make --trace mbrtoc32.o
  Makefile:1752: update target 'mbrtoc32.o' due to: target does not exist
  gcc -DHAVE_CONFIG_H -I. -I../../gllib -I..  -DGNULIB_STRICT_CHECKING=1 -g -O2 
-MT mbrtoc32.o -MD -MP -MF   .deps/mbrtoc32.Tpo -c -o mbrtoc32.o 
../../gllib/mbrtoc32.c
  mv -f .deps/mbrtoc32.Tpo .deps/mbrtoc32.Po

  $ make --version
  GNU Make 4.4.1
  Built for x86_64-pc-linux-gnu
  Copyright (C) 1988-2023 Free Software Foundation, Inc.
  License GPLv3+: GNU GPL version 3 or later <https://gnu.org/licenses/gpl.html>
  This is free software: you are free to change and redistribute it.
  There is NO WARRANTY, to the extent permitted by law.