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

Reply via email to