@@ -101,6 +101,6 @@ usagemsg = "Idris version " ++ ver ++ "\n" ++
101 "\t--codegen [cg] Select code generator: C, Java, bytecode, javascript,\n" ++
101 "\t--codegen [cg] Select code generator: C, Java, bytecode, javascript,\n" ++
102 "\t node or llvm\n" ++
102 "\t node or llvm\n" ++
103 "\t--target [triple] Select target triple (for LLVM codegen)\n" ++
103 "\t--target [triple] Select target triple (for LLVM codegen)\n" ++
104− "\t--cpu [cpu] Select target architecture (for LLVM codegen)\n"
104+ "\t--cpu [cpu] Select target CPU (e.g. corei7 or cortex-m3) (for LLVM codegen)\n"