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.
tuned;
authorwenzelm
Fri, 26 Oct 2001 18:16:45 +0200
changeset 11949 38e20c036e37
parent 11948 9c812b21b2e8
child 11950 9bd6e8e62a06
tuned;
lib/Tools/usedir file | annotate | diff | comparison | revisions 
--- a/lib/Tools/usedir	Fri Oct 26 18:16:31 2001 +0200
+++ b/lib/Tools/usedir	Fri Oct 26 18:16:45 2001 +0200
@@ -168,7 +168,9 @@
 
 PARENT=$(basename "$LOGIC")
 
-[ -z "$BUILD" ] && cd "$NAME"
+if [ -z "$BUILD" ]; then
+  cd "$NAME" || fail "Bad session directory '$NAME'"
+fi
 
 if [ "$DOCUMENT" != false ]; then
   DOC="$DOCUMENT"
isabelle