fixed tools/prepare_data to also perform the conversion if the

destination file is missing

diff --git a/tools/prepare_data b/tools/prepare_data
index 7106581..a7f1eb4 100755 (executable)
--- a/tools/prepare_data
+++ b/tools/prepare_data
@@ -63,7 +63,7 @@ while read line; do
                        touch "$infile"
                fi
 
-               if [ "$infile" -nt "$outfile" ]; then
+               if [ \( ! -f "$outfile" \) -o \( "$infile" -nt "$outfile" \) ]; then
                        if [ "$op" = nop ]; then
                                echo copying $fname
                                mkdir -p $outdir/$(dirname $path)