diff options
Diffstat (limited to 'paludis/repositories/e/pipe_command_handler.cc')
| -rw-r--r-- | paludis/repositories/e/pipe_command_handler.cc | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/paludis/repositories/e/pipe_command_handler.cc b/paludis/repositories/e/pipe_command_handler.cc index 51940de04..a8e86d69c 100644 --- a/paludis/repositories/e/pipe_command_handler.cc +++ b/paludis/repositories/e/pipe_command_handler.cc @@ -123,6 +123,20 @@ namespace for (auto m(p.maybe_annotations()->begin()), m_end(p.maybe_annotations()->end()) ; m != m_end ; ++m) { + switch (m->kind()) + { + case dsak_literal: + case dsak_expandable: + break; + + case dsak_synthetic: + case dsak_expanded: + continue; + + case last_dsak: + throw InternalError(PALUDIS_HERE, "bad kind"); + } + if (! done_brackets) { str << " [[ "; |