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.
paranoia export of CLASSPATH, just in case the initial status via allexport is lost due to other scripts;
authorwenzelm
Tue, 16 Nov 2010 20:30:25 +0100
changeset 40568 3003be923908
parent 40567 a87a6b90e900
child 40569 ffcff7509a49
paranoia export of CLASSPATH, just in case the initial status via allexport is lost due to other scripts;
lib/scripts/getsettings file | annotate | diff | comparison | revisions 
--- a/lib/scripts/getsettings	Tue Nov 16 17:27:11 2010 +0100
+++ b/lib/scripts/getsettings	Tue Nov 16 20:30:25 2010 +0100
@@ -72,6 +72,7 @@
       CLASSPATH="$CLASSPATH:$X"
     fi
   done
+  export CLASSPATH
 }
 
 #arrays
isabelle