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/getfunctions
changeset 73989 842fc354c031
parent 73988 678e1c9eb009
child 74017 b4e6b82fdb9e 
--- a/lib/scripts/getfunctions	Thu Jul 15 17:33:06 2021 +0200
+++ b/lib/scripts/getfunctions	Thu Jul 15 18:18:07 2021 +0200
@@ -106,7 +106,7 @@
   do
     if [ -z "$ISABELLE_CLASSPATH" ]; then
       ISABELLE_CLASSPATH="$X"
-    else
+    elif [ -n "$X" ]; then
       ISABELLE_CLASSPATH="$ISABELLE_CLASSPATH:$X"
     fi
   done
isabelle