extract dist name if .guessed_dist contails conf path

Change-Id: I9ee1300527b46771720a23fa232e0a01dca65c4a

diff --git a/depanneur b/depanneur
index 074a30d..8213917 100755 (executable)
--- a/depanneur
+++ b/depanneur
@@ -367,6 +367,7 @@ if ($noinit == 1) {
     $dist = readline($file);
     close($file);
     chomp $dist;
+    $dist =~ s!^.*/(.*)\.conf!$1!;
     $dist_configs= "$scratch";
     if (! -e "$dist_configs/$dist.conf") {
         error("build root broken caused by missing build conf. Please build without --noinit first");