From 1a78a09e7e427e1c78b41291969833c116398a1b Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Mon, 23 Mar 2009 22:02:21 +0000
Subject: [PATCH] for remotely handled pldistros

---
 build.common | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/build.common b/build.common
index 3b73da32..c44f1461 100644
--- a/build.common
+++ b/build.common
@@ -577,6 +577,10 @@ function pl_locateDistroFile () {
     pkgsfile=$1; shift
 
     pkgspath=""
+    # if config dir is missing but a .svnpath exists
+    if [ -f "$builddir/config.${pldistro}.svpath" && ! -d $builddir/config.${pldistro} ] ; then
+	make -C $builddir stage1=true config.${pldistro}
+    fi
     # locate it
     paths="$builddir/config.$pldistro/$pkgsfile $builddir/config.planetlab/$pkgsfile"
     for path in $paths; do
-- 
2.43.0