Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 44b37de09cd6d08e543d98592e6f6f348cf59a44)
+++ Jenkinsfile	(revision d0da7ed3bf2976464448034d10d0270dee7a20fe)
@@ -234,12 +234,12 @@
 		def email_subject = "[${project_name} git][BUILD# ${env.BUILD_NUMBER} - ${currentBuild.result}] - branch ${env.BRANCH_NAME}"
 		def email_body = """<p>This is an automated email from the Jenkins build machine. It was
-			generated because of a git hooks/post-receive script following
-			a ref change which was pushed to the C\u2200 repository.</p>
-
-			<p>- Status --------------------------------------------------------------</p>
-
-			<p>BUILD# ${env.BUILD_NUMBER} - ${currentBuild.result}</p>
-			<p>Check console output at ${env.BUILD_URL} to view the results.</p>
-			""" + Tools.GitLogMessage()
+generated because of a git hooks/post-receive script following
+a ref change which was pushed to the C\u2200 repository.</p>
+
+<p>- Status --------------------------------------------------------------</p>
+
+<p>BUILD# ${env.BUILD_NUMBER} - ${currentBuild.result}</p>
+<p>Check console output at ${env.BUILD_URL} to view the results.</p>
+""" + Tools.GitLogMessage()
 
 		def email_to = !Settings.IsSandbox ? "cforall@lists.uwaterloo.ca" : "tdelisle@uwaterloo.ca"
Index: tests/concurrent/signal/disjoint.cfa
===================================================================
--- tests/concurrent/signal/disjoint.cfa	(revision 44b37de09cd6d08e543d98592e6f6f348cf59a44)
+++ tests/concurrent/signal/disjoint.cfa	(revision d0da7ed3bf2976464448034d10d0270dee7a20fe)
@@ -77,5 +77,5 @@
 	wait( cond );
 	if( d.state != SIGNAL ) {
-		sout | "ERROR barging!";
+		abort | "ERROR barging!";
 	}
 
@@ -113,5 +113,5 @@
 	bool running = TEST(globals.data.counter < N) && globals.data.counter > 0;
 	if( globals.data.state != SIGNAL && running ) {
-		sout | "ERROR Eager signal" | globals.data.state;
+		abort | "ERROR Eager signal" | globals.data.state;
 	}
 }