Pre-ordered build list from file

Change-Id: I44d8abf881f1bd7f68cbf8301c24240acc1afcd1

diff --git a/depanneur b/depanneur
index d28624d6010d4e738fdcdb419b0a1cac01d843c0..51190afbcce90a631dbab462726a1fdfd2770f4a 100755 (executable)
--- a/depanneur
+++ b/depanneur
@@ -2691,6 +2691,14 @@ sub prepare_preorder_list {
     my_system("rm -rf bsr_profiling_report");
     if ($preordered_list ne "") {
         @preview_orders = split /[:,\s\/]+/, $preordered_list;
+        if (-e $preordered_list) {
+            if (open my $info, '<', $preordered_list) {
+                while (my $line = <$info>) {
+                    push @preview_orders, (split /[:,\s\/]+/, $line);
+                }
+                close $info;
+            }
+        }
     }
     if ($profiling ne "" && `which bsr`) {
         my $preview_command = "bsr reorder -j $profiling ";