changeset 26576 | fc76b7b79ba9 |
parent 24885 | 0fc7ba713a27 |
child 28650 | a7ba12e0d3b7 |
--- a/lib/Tools/keywords Tue Apr 08 15:47:05 2008 +0200 +++ b/lib/Tools/keywords Tue Apr 08 15:47:10 2008 +0200 @@ -57,9 +57,6 @@ ## main -#set by configure -AUTO_PERL=perl - SESSIONS="" for LOG in $LOGS do @@ -80,4 +77,4 @@ fi echo done | \ -"$AUTO_PERL" -w "$ISABELLE_HOME/lib/scripts/keywords.pl" "$KEYWORDS_NAME" "$TARGET_TOOL" "$SESSIONS" +perl -w "$ISABELLE_HOME/lib/scripts/keywords.pl" "$KEYWORDS_NAME" "$TARGET_TOOL" "$SESSIONS"