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 09a5f70..b386d00 100755 (executable)
--- a/tests/gen_xmark.sh
+++ b/tests/gen_xmark.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
 
-for i in 0 0.05 0.5
+for i in 0.00 0.05 0.50
 do
-    xmarkgen -o xmark_"$i".xml
-    cp xmark_queries.templates xmark_"$i".xml.queries
+    ../tools/xmarkgen -f "$i" -o xmark_"$i".xml
+    cp xmark_queries.template xmark_"$i".xml.queries
 done