Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more liberal init_components: base dir may get created later when resolving missing components;
authorwenzelm
Thu, 13 Sep 2012 16:09:35 +0200
changeset 49347 d4768cb77a69
parent 49346 977cf0788b30
child 49348 01d2d01bf9d1
more liberal init_components: base dir may get created later when resolving missing components;
lib/scripts/getsettings file | annotate | diff | comparison | revisions 
--- 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
isabelle