aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/clients/cave/cmd_execute_resolution.cc4
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,