diff -r f361d688365c -r cb50d6c57439 bin/imager.check --- a/bin/imager.check Fri Jul 29 16:06:55 2011 +0200 +++ b/bin/imager.check Sun Jul 31 15:03:06 2011 +0200 @@ -133,6 +133,9 @@ # we don't need uncompressed files if an compressed version # exists unlink $_ and return if -f "$_.gz"; + unlink "$_.x" and return if -f "$_.x.gz"; + + # FIXME: do we need a compressed version? # cut away the first part of the filename and # some optional extension @@ -201,7 +204,10 @@ next if -f "$dir/data/$k" - or -f "$dir/data/$k.gz"; + or -f "$dir/data/$k.gz" + or -f "$dir/data/$k.x" + or -f "$dir/data/$k.x.gz" + or -f "$dir/data/$k.gz.x"; say "missing $k @$i"; @invalid{@$i} = (); }