Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/scripts/getsettings
changeset 49347 d4768cb77a69
parent 49000 0cebcbeac4c7
child 52443 725916b7dee5 
--- 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