src/Pure/Tools/build.scala

--- a/src/Pure/Tools/build.scala	Thu Feb 25 00:18:48 2016 +0100
+++ b/src/Pure/Tools/build.scala	Thu Feb 25 00:27:57 2016 +0100
@@ -642,7 +642,7 @@
 
       if (res.interrupted) {
         was_timeout match {
-          case Some(t) => res.error(Output.error_text("Timeout"), 1).set_timeout(t)
+          case Some(t) => res.error(Output.error_text("Timeout")).set_timeout(t)
           case None => res.error(Output.error_text("Interrupt"))
         }
       }