Merge branch 'ab/makeflags'
Backport a Makefile fix from upstream git. * ab/makeflags: Makefiles: change search through $(MAKEFLAGS) for GNU make 4.4
Pratyush Yadav committed
Jan 25, 2023 at 11:39 UTC
a5005ded43149a67290c9b8e83d585daf23716ef
No changes.