changeset 15847 | c05c7670f166 |
parent 15574 | b1d1b5bfc464 |
15846:6f24b0c36dbd | 15847:c05c7670f166 |
---|---|
32 |
32 |
33 |
33 |
34 ## main |
34 ## main |
35 |
35 |
36 #set by configure |
36 #set by configure |
37 AUTO_PERL=/usr/bin/perl |
37 AUTO_PERL=perl |
38 |
38 |
39 find $SPECS -name \*.ML -print | xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/fixgoal.pl" |
39 find $SPECS -name \*.ML -print | xargs "$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/fixgoal.pl" |