changeset 26576 | fc76b7b79ba9 |
parent 16704 | 89cc9172f0be |
--- a/lib/Tools/fixheaders Tue Apr 08 15:47:05 2008 +0200 +++ b/lib/Tools/fixheaders Tue Apr 08 15:47:10 2008 +0200 @@ -33,8 +33,5 @@ ## main -#set by configure -AUTO_PERL=perl - find $SPECS -name \*.thy -print | \ - xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/fixheaders.pl" + xargs perl -w "$ISABELLE_HOME/lib/scripts/fixheaders.pl"