prati0100 Merge branch 'ab/makeflags'
a5005de Jan 25, 2023
Merge branch 'ab/makeflags'
Backport a Makefile fix from upstream git.

* ab/makeflags:
  Makefiles: change search through $(MAKEFLAGS) for GNU make 4.4
a5005de