diff options
| -rw-r--r-- | japanese/mozc-server/files/patch-src-build_mozc.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/japanese/mozc-server/files/patch-src-build_mozc.py b/japanese/mozc-server/files/patch-src-build_mozc.py new file mode 100644 index 000000000000..aaec0091a523 --- /dev/null +++ b/japanese/mozc-server/files/patch-src-build_mozc.py @@ -0,0 +1,11 @@ +--- src/build_mozc.py.orig 2017-01-01 14:29:01.398407000 +0900 ++++ src/build_mozc.py 2017-01-01 14:30:17.894029000 +0900 +@@ -864,7 +864,7 @@ + ninja = GetNinjaPath() + + ninja_targets = [GetNinjaTargetName(target) for target in targets] +- RunOrDie([ninja, '-C', build_arg] + ninja_targets) ++ RunOrDie([ninja, '-v', '-C', build_arg] + ninja_targets) + + + def BuildOnWindows(targets): |