edwinb/Idris-dev — pull request #457 by Ralith (2013-08-20 04:29:21+00:00)
Title: Correct documentation for --cpu

Target architecture is described by the triple. --cpu specifies a specific CPU within an architecture.