This is an archived project. Repository and other project resources are read-only.

cli.py

6 years ago

_frontend/cli.py: Ignore junctions in default targets where appropriate · 2f175f0a

Jürg Billeter authored 6 years ago

Junctions cannot be built, pulled, or pushed. Specifying a junction on
the command line for these commands will result in an error. However,
junctions may be in the list of default targets, so they need to be
ignored for build, pull, and push commands.

2f175f0a

History

_frontend/cli.py: Ignore junctions in default targets where appropriate

Jürg Billeter authored 6 years ago

Junctions cannot be built, pulled, or pushed. Specifying a junction on
the command line for these commands will result in an error. However,
junctions may be in the list of default targets, so they need to be
ignored for build, pull, and push commands.