From 34ac5b05f695b21f286f85d2391d116b8ad7a4d5 Mon Sep 17 00:00:00 2001
From: Brian Anderson <banderson@mozilla.com>
Date: Tue, 17 Sep 2013 17:55:18 -0700
Subject: [PATCH] Add an extra line before the "Additional Help" in rustc's
 --help output

---
 src/librustc/rustc.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/librustc/rustc.rs b/src/librustc/rustc.rs
index bca2ceb2f84..902734b05a2 100644
--- a/src/librustc/rustc.rs
+++ b/src/librustc/rustc.rs
@@ -134,7 +134,7 @@ pub fn version(argv0: &str) {
 
 pub fn usage(argv0: &str) {
     let message = fmt!("Usage: %s [OPTIONS] INPUT", argv0);
-    printfln!("%s\
+    printfln!("%s\n\
 Additional help:
     -W help             Print 'lint' options and default settings
     -Z help             Print internal options for debugging rustc\n",