| changeset 6082 | 590f9e3bf4d8 |
| parent 5045 | a19e5c91a1ab |
| child 9788 | df671fa2562a |
--- a/lib/Tools/fixgoal Mon Jan 11 18:45:46 1999 +0100 +++ b/lib/Tools/fixgoal Tue Jan 12 12:17:53 1999 +0100 @@ -32,4 +32,7 @@ ## main -find $SPECS -name \*.ML -print | xargs perl -w $ISABELLE_HOME/lib/scripts/fixgoal.pl +#set by configure +AUTO_PERL=perl + +find $SPECS -name \*.ML -print | xargs $AUTO_PERL -w $ISABELLE_HOME/lib/scripts/fixgoal.pl