diff --git a/project/Build.scala b/project/Build.scala
index 7d50352f7740e5a326996f02dd51a31ce127fd6c..f8eddd0bd3b4a53d80e58d8d702b7d43c56d7688 100644
--- a/project/Build.scala
+++ b/project/Build.scala
@@ -36,7 +36,7 @@ object Leon extends Build {
                       |
                       |SCALACLASSPATH="$paths"
                       |
-                      |java -Xmx2G -Xms512M -classpath $${SCALACLASSPATH} -Dscala.usejavacp=false scala.tools.nsc.MainGenericRunner -classpath $${SCALACLASSPATH} leon.Main $$@ 2>&1 | tee last.log
+                      |java -Xmx2G -Xms512M -classpath $${SCALACLASSPATH} -Dscala.usejavacp=false scala.tools.nsc.MainGenericRunner -classpath $${SCALACLASSPATH} leon.Main $$@ 2>&1 | tee -i last.log
                       |""".stripMargin)
 
       f.setExecutable(true)