Skip to content
Commit c0089e12 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 6b6a3bd8
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