On 01-02-18 22:53, Tony wrote:
On Monday, 29 January 2018 at 11:04:19 UTC, Seb wrote:https://github.com/wilzbach/d-bootstrap Happy bootstrapping!What does "|" do in a makefile?
The target depends on `bin` but don't rebuild the target if `bin` is newer than the target.
https://www.gnu.org/software/make/manual/html_node/Prerequisite-Types.html#Prerequisite-Types -- Mike Wey
