Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 62f96ae7086cb4d998d48b3b2b4534d769a63aa6)
+++ Jenkinsfile	(revision c862fae7bb21c91bf81ea7f9c580346a086fac26)
@@ -447,5 +447,4 @@
 def prepare_build() {
 	// prepare the properties
-	properties([])
 	properties ([ 													\
 		buildDiscarder(logRotator(										\
Index: tests/abort.cfa
===================================================================
--- tests/abort.cfa	(revision c862fae7bb21c91bf81ea7f9c580346a086fac26)
+++ tests/abort.cfa	(revision c862fae7bb21c91bf81ea7f9c580346a086fac26)
@@ -0,0 +1,4 @@
+int main() {
+	abort();
+	return 0;
+}