For testing.

[tatoo.git] / benchmark

diff --git a/benchmark b/benchmark
index ca94537..37e4eed 100755 (executable)
--- a/benchmark
+++ b/benchmark
@@ -1,7 +1,7 @@
 #echo \#\#\# DOC :
 #cat ./tests/docs/XPath-PT.xml
 #echo
-for native in ./solve.native*; do
+for native in ./bench.native*; do
     echo $native
     for quer in ./tests/queries/XPath-PT/A1.xpl ; do
         /usr/bin/time -l  $native ./tests/docs/XPath-PT.xml -f ./tests/queries/XPath-PT/A1.xpl