Skip to content
Commit 2f175f0a authored by Jürg Billeter's avatar Jürg Billeter
Browse files

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

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.
parent ee2d8434
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment