@dickmao
dickmao Merge pull request #596 from Wilfred/make_portable
386840e Oct 3, 2023
Merge pull request #596 from Wilfred/make_portable 
Fix Makefile compatibility with recent GNU Make
386840e