Yuri Astrakhan 0d0d9c6b89 Don't hide makefile errors in pipes (#848) ...

Follow up to #846 - make sure that if an error happens inside a target whose output is piped, we stop.

2020-05-04 16:41:55 -04:00

13 KiB

Raw Blame History

View Raw