# File lib/rcodetools/options.rb, line 6
  def set_banner
    self.banner = "Usage: #{$0} [options] [inputfile] [-- cmdline args]"
  end