| changeset 6082 | 590f9e3bf4d8 |
| parent 5213 | 0aa62210e67c |
| child 9788 | df671fa2562a |
--- a/lib/Tools/fixdatatype Mon Jan 11 18:45:46 1999 +0100 +++ b/lib/Tools/fixdatatype Tue Jan 12 12:17:53 1999 +0100 @@ -32,5 +32,8 @@ ## main +#set by configure +AUTO_PERL=perl + find $SPECS \( -name \*.thy -o -name \*.ML \) -print | \ - xargs perl -w $ISABELLE_HOME/lib/scripts/fixdatatype.pl + xargs $AUTO_PERL -w $ISABELLE_HOME/lib/scripts/fixdatatype.pl