check-sort-order: Process multiple files If multiple files are passed on the command line, process all of them in turn. This is useful for batch jobs. Signed-off-by: Thierry Reding <treding@nvidia.com>