supprimer (List.rev p) dans la fonction compile_path_rev

[tatoo.git] / tests / gen_xmark.sh

diff --git a/tests/gen_xmark.sh b/tests/gen_xmark.sh
index 0f32512..b386d00 100755 (executable)
--- a/tests/gen_xmark.sh
+++ b/tests/gen_xmark.sh
@@ -2,6 +2,6 @@
 
 for i in 0.00 0.05 0.50
 do
-    xmarkgen -f "$i" -o xmark_"$i".xml
+    ../tools/xmarkgen -f "$i" -o xmark_"$i".xml
     cp xmark_queries.template xmark_"$i".xml.queries
 done