]> git.99rst.org Git - git.git/commitdiff
Merge branch 'ab/makeflags'
authorPratyush Yadav <redacted>
Wed, 25 Jan 2023 10:39:35 +0000 (11:39 +0100)
committerPratyush Yadav <redacted>
Wed, 25 Jan 2023 10:39:35 +0000 (11:39 +0100)
Backport a Makefile fix from upstream git.

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


Trivial merge
git clone https://git.99rst.org/PROJECT