From ad63cf42ac42b87fd9cd72597d585945c46b82b0 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <etienne.kneuss@epfl.ch>
Date: Fri, 7 Nov 2014 15:17:52 +0100
Subject: [PATCH] tee should not catch signals
---
project/Build.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/project/Build.scala b/project/Build.scala
index 7d50352f7..f8eddd0bd 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)
--
GitLab