diff options
| -rw-r--r-- | src/clients/cave/cmd_execute_resolution.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/clients/cave/cmd_execute_resolution.cc b/src/clients/cave/cmd_execute_resolution.cc index d5d499686..fb9bc59fe 100644 --- a/src/clients/cave/cmd_execute_resolution.cc +++ b/src/clients/cave/cmd_execute_resolution.cc @@ -192,7 +192,9 @@ namespace std::copy(cmdline.a_world_specs.begin_args(), cmdline.a_world_specs.end_args(), world_specs->back_inserter()); std::shared_ptr<Sequence<std::string> > removed_if_dependent_names(std::make_shared<Sequence<std::string>>()); - std::copy(cmdline.a_removed_if_dependent_names.begin_args(), cmdline.a_removed_if_dependent_names.end_args(), world_specs->back_inserter()); + for (auto r(cmdline.a_removed_if_dependent_names.begin_args()), r_end(cmdline.a_removed_if_dependent_names.end_args()) ; + r != r_end ; ++r) + world_specs->push_back("!" + *r); ResumeData resume_data(make_named_values<ResumeData>( n::job_lists() = lists, |