# HG changeset patch
# User webertj
# Date 1344880890 -7200
# Node ID cea7f88c80841d61a633992c7e22a5a65e9b1523
# Parent  1e384f7290458212fc398ef5ad85d2e39a920539
Calling isabelle with proper (relative) path, no longer relying on $PATH.

diff -r 1e384f729045 -r cea7f88c8084 Admin/download-components
--- a/Admin/download-components	Sun Aug 12 23:13:43 2012 +0200
+++ b/Admin/download-components	Mon Aug 13 20:01:30 2012 +0200
@@ -17,7 +17,7 @@
   exit 1
 }
 
-ISABELLE_HOME_USER="$(isabelle getenv -b ISABELLE_HOME_USER)"
+ISABELLE_HOME_USER="$("${HERE}/../bin/isabelle" getenv -b ISABELLE_HOME_USER)"
 : ${TMP:='/tmp'}
 REMOTE='http://isabelle.in.tum.de/components'
 LOCAL="${ISABELLE_HOME_USER}/contrib"