fixing pldistros (ctd)
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 6 Dec 2007 09:07:23 +0000 (09:07 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 6 Dec 2007 09:07:23 +0000 (09:07 +0000)
build.common

index 463aaf6..541d5cd 100644 (file)
@@ -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