purescript-contrib / pulp

A build tool for PureScript projects
GNU Lesser General Public License v3.0
445 stars 86 forks source link

`--include: command not found` for `pulp build` #324

Closed i-am-tom closed 6 years ago

i-am-tom commented 6 years ago

Hello!

Just something I've noticed: include is in the docs for build, but can't be used. Is this something to remove from the docs or add to the command? Either way, am happy to write the patch :)

hdgarrood commented 6 years ago

This has definitely worked in the past. Can you share the command you used?

i-am-tom commented 6 years ago

It's a "trade secrets" thing, but I'll try to make a minimal reproduction tonight. Sorry, should've done that first :flushed:

hdgarrood commented 6 years ago

I'm going to close this for now but please do reopen this if you're able to find a reproduction which you can share.