Fix a block in Script/Main.py that could swallow KeyboardInterrupt

[scons.git] / src / engine / SCons / Script / Main.py

diff --git a/src/engine/SCons/Script/Main.py b/src/engine/SCons/Script/Main.py
index 048dfdd10874b89a3f2d3c43a354b5604a062db1..22ca331388adba4a233c77931486bd7fefd516ef 100644 (file)
--- a/src/engine/SCons/Script/Main.py
+++ b/src/engine/SCons/Script/Main.py
@@ -216,6 +216,8 @@ class BuildTask(SCons.Taskmaster.Task):
                 sys.stderr.write("\n")
                 try:
                     raise SCons.Errors.BuildError(t, errstr)
+                except KeyboardInterrupt:
+                    raise
                 except:
                     self.exception_set()
                 self.do_failed()