+
+ (* Check the .data, .data.gz or .data.bz2 file exists, and skip with
+ * a warning if not.
+ *)
+ let infos = List.filter (
+ fun { basename = basename } ->
+ if not (file_exists (basename ^ ".data")) &&
+ not (file_exists (basename ^ ".data.gz")) &&
+ not (file_exists (basename ^ ".data.bz2")) then (
+ eprintf "warning: %s: no data file found for this kernel - skipping\n%!"
+ basename;
+ false
+ )
+ else
+ true
+ ) infos in
+