diff options
| -rwxr-xr-x | Doc/node2label.pl | 3 | ||||
| -rwxr-xr-x | Doc/tools/node2label.pl | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/Doc/node2label.pl b/Doc/node2label.pl index 8159900..1d643db 100755 --- a/Doc/node2label.pl +++ b/Doc/node2label.pl @@ -4,7 +4,8 @@ require "labels.pl"; %nodes = (); -foreach $label (keys %external_labels) { +# sort so that we get a consistent assignment for nodes with multiple labels +foreach $label (sort keys %external_labels) { $nodes{$external_labels{$label}} = $label; } diff --git a/Doc/tools/node2label.pl b/Doc/tools/node2label.pl index 8159900..1d643db 100755 --- a/Doc/tools/node2label.pl +++ b/Doc/tools/node2label.pl @@ -4,7 +4,8 @@ require "labels.pl"; %nodes = (); -foreach $label (keys %external_labels) { +# sort so that we get a consistent assignment for nodes with multiple labels +foreach $label (sort keys %external_labels) { $nodes{$external_labels{$label}} = $label; } |