| changeset 32434 | 6b93b73a712b |
| parent 32397 | 1899b8c47961 |
| child 32454 | a1a5589207ad |
--- a/src/HOL/Tools/Mirabelle/lib/scripts/mirabelle.pl Fri Aug 28 18:23:24 2009 +0200 +++ b/src/HOL/Tools/Mirabelle/lib/scripts/mirabelle.pl Fri Aug 28 19:57:12 2009 +0200 @@ -125,7 +125,7 @@ print LOG_FILE "\n\n"; close(LOG_FILE); -my $r = system "\"$ISABELLE_PROCESS\" " . +my $r = system "\"$ENV{'ISABELLE_PROCESS'}\" " . "-e 'use \"$root_file\";' -q $mirabelle_logic" . "\n";