Catch pipefail errors in Makefile
https://stackoverflow.com/questions/33925523/how-to-set-pipefail-in-a-makefile
A
Anatoli Babenia committed
a19a6f9accc37d2015acf88a9a84354eec0eadf6
Parent: 361037f
Committed by GitHub <noreply@github.com>
on 7/6/2023, 3:26:02 AM