# HG changeset patch
# User wenzelm
# Date 1347545375 -7200
# Node ID d4768cb77a698a4656899a43ddd1e09a3487d129
# Parent  977cf0788b30d4859af61f7a14dcae69bafde547
more liberal init_components: base dir may get created later when resolving missing components;

diff -r 977cf0788b30 -r d4768cb77a69 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Thu Sep 13 16:01:42 2012 +0200
+++ b/lib/scripts/getsettings	Thu Sep 13 16:09:35 2012 +0200
@@ -185,10 +185,6 @@
   local BASE="$1"
   local CATALOG="$2"
 
-  if [ ! -d "$BASE" ]; then
-    echo >&2 "Bad component base directory: \"$BASE\""
-    exit 2
-  fi
   if [ ! -f "$CATALOG" ]; then
     echo >&2 "Bad component catalog file: \"$CATALOG\""
     exit 2