| changeset 26576 | fc76b7b79ba9 |
| parent 15847 | c05c7670f166 |
| child 28650 | a7ba12e0d3b7 |
--- a/lib/Tools/dimacs2hol Tue Apr 08 15:47:05 2008 +0200 +++ b/lib/Tools/dimacs2hol Tue Apr 08 15:47:10 2008 +0200 @@ -45,7 +45,4 @@ ## main -#set by configure -AUTO_PERL=perl - -"$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/dimacs2hol.pl" "$@" +exec perl -w "$ISABELLE_HOME/lib/scripts/dimacs2hol.pl" "$@"