From bc22089b0bc2aa4912187fca0a0546770be7fa65 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Tue, 24 Mar 2009 09:16:36 +0000
Subject: [PATCH] syntax

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

diff --git a/build.common b/build.common
index 7228ebee..305b2289 100644
--- a/build.common
+++ b/build.common
@@ -578,7 +578,7 @@ function pl_locateDistroFile () {
 
     pkgspath=""
     # if config dir is missing but a .svnpath exists
-    if [ -f "$builddir/config.${pldistro}.svpath" && ! -d "$builddir/config.${pldistro}" ] ; then
+    if [[ -f "$builddir/config.${pldistro}.svpath" && ! -d "$builddir/config.${pldistro}" ]] ; then
 	make -C $builddir stage1=true config.${pldistro}
     fi
     # locate it
-- 
2.47.0