--- 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} = ();
}