diff options
Diffstat (limited to 'third_party/gflags-use-double-dash-args.patch')
-rw-r--r-- | third_party/gflags-use-double-dash-args.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/third_party/gflags-use-double-dash-args.patch b/third_party/gflags-use-double-dash-args.patch new file mode 100644 index 00000000..554b41bd --- /dev/null +++ b/third_party/gflags-use-double-dash-args.patch @@ -0,0 +1,11 @@ +--- src/gflags_reporting.cc ++++ src/gflags_reporting.cc +@@ -118,7 +118,7 @@ + // Goes to some trouble to make pretty line breaks. + string DescribeOneFlag(const CommandLineFlagInfo& flag) { + string main_part; +- SStringPrintf(&main_part, " -%s (%s)", ++ SStringPrintf(&main_part, " --%s (%s)", + flag.name.c_str(), + flag.description.c_str()); + const char* c_string = main_part.c_str(); |