supprimer (List.rev p) dans la fonction compile_path_rev

[tatoo.git] / tests / gen_xmark.sh

#!/bin/sh

for i in 0.00 0.05 0.50
do
    ../tools/xmarkgen -f "$i" -o xmark_"$i".xml
    cp xmark_queries.template xmark_"$i".xml.queries
done