changeset 26576 | fc76b7b79ba9 |
parent 16704 | 89cc9172f0be |
26575:042617a1c86c | 26576:fc76b7b79ba9 |
---|---|
31 SPECS="$@"; shift "$#" |
31 SPECS="$@"; shift "$#" |
32 |
32 |
33 |
33 |
34 ## main |
34 ## main |
35 |
35 |
36 #set by configure |
|
37 AUTO_PERL=perl |
|
38 |
|
39 find $SPECS -name \*.thy -print | \ |
36 find $SPECS -name \*.thy -print | \ |
40 xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/fixheaders.pl" |
37 xargs perl -w "$ISABELLE_HOME/lib/scripts/fixheaders.pl" |