lib/Tools/keywords
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"