| Index: tools/ninja.py
|
| diff --git a/tools/ninja.py b/tools/ninja.py
|
| index bf89dfc55a6177eecb6d22cc7c93962cde086e30..55d8d2ad8e4940de95e34a09febcf20939000f15 100755
|
| --- a/tools/ninja.py
|
| +++ b/tools/ninja.py
|
| @@ -260,11 +260,14 @@ def RunOneBuildCommand(build_config, args):
|
|
|
|
|
| def RunOneGomaBuildCommand(args):
|
| - print ' '.join(args)
|
| - process = subprocess.Popen(args, stdin=None)
|
| - process.wait()
|
| - print (' '.join(args) + " done.")
|
| - return process.returncode
|
| + try:
|
| + print ' '.join(args)
|
| + process = subprocess.Popen(args, stdin=None)
|
| + process.wait()
|
| + print (' '.join(args) + " done.")
|
| + return process.returncode
|
| + except KeyboardInterrupt:
|
| + return 1
|
|
|
|
|
| def Main():
|
|
|