aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAvatar Ciaran McCreesh <ciaran.mccreesh@googlemail.com> 2010-11-21 16:18:22 +0000
committerAvatar Ciaran McCreesh <ciaran.mccreesh@googlemail.com> 2010-11-21 16:18:22 +0000
commitbf94cd0ca65dad47406ddf66dd55c49fdccb0672 (patch)
tree1d1024cb8d72ca8af38aadfca916ed11c9a489ae
parentdc38780cef302eebd42cd0cf45778a7659cd4577 (diff)
downloadpaludis-bf94cd0ca65dad47406ddf66dd55c49fdccb0672.tar.gz
paludis-bf94cd0ca65dad47406ddf66dd55c49fdccb0672.tar.xz
jri_fetching is a bit special
-rw-r--r--src/clients/cave/cmd_graph_jobs.cc7
1 files changed, 4 insertions, 3 deletions
diff --git a/src/clients/cave/cmd_graph_jobs.cc b/src/clients/cave/cmd_graph_jobs.cc
index 341d8e5..6ba23ea 100644
--- a/src/clients/cave/cmd_graph_jobs.cc
+++ b/src/clients/cave/cmd_graph_jobs.cc
@@ -174,15 +174,16 @@ namespace
continue;
output_stream << " job" << execute_job_list->number(j) << " -> job" << r->job_number() << " [ ";
- if (r->required_if()[jri_fetching])
- output_stream << " color=cadetblue";
- else if (r->required_if()[jri_require_always])
+ if (r->required_if()[jri_require_always])
output_stream << " color=crimson";
else if (r->required_if()[jri_require_for_satisfied])
output_stream << " color=indianred";
else if (r->required_if()[jri_require_for_independent])
output_stream << " color=lightpink";
+ if (! r->required_if()[jri_fetching])
+ output_stream << " style=dotted";
+
output_stream << " ]" << endl;
}