Ignore trivial batch-submit script.