From b00b9e1c3772da040198bd2ffb752bfcd119d528 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Thu, 6 Dec 2007 09:07:23 +0000
Subject: [PATCH] fixing pldistros (ctd)

---
 build.common | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.common b/build.common
index 463aaf6d..541d5cd4 100644
--- a/build.common
+++ b/build.common
@@ -303,7 +303,7 @@ function pl_getGroups() { fcdistro=$1; shift ; pl_parsePkgs group $fcdistro "$@"
 # locates a pldistro-dependant file
 # tries first in build/<pldistro>/, then in build/planetlab/
 function pl_locateDistroFile () {
-    buildir=$1; shift
+    builddir=$1; shift
     pldistro=$1; shift
     pkgsfile=$1; shift
 
-- 
2.43.0