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, 0 insertions, 11 deletions
diff --git a/third_party/gflags-use-double-dash-args.patch b/third_party/gflags-use-double-dash-args.patch deleted file mode 100644 index 554b41bd..00000000 --- a/third_party/gflags-use-double-dash-args.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- 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(); |