Index: Jenkins/FullBuild
===================================================================
--- Jenkins/FullBuild	(revision baee7562ac8efa50e4be72cae94c9eb8588fb673)
+++ Jenkins/FullBuild	(revision d738aeb92f6ed8f8602c029f37f3a9599ddfbf83)
@@ -17,13 +17,14 @@
 
 				parallel (
-					gcc_8_x86: { trigger_build( 'gcc-8',   'x86' ) },
-					gcc_7_x86: { trigger_build( 'gcc-7',   'x86' ) },
-					gcc_6_x86: { trigger_build( 'gcc-6',   'x86' ) },
-					gcc_9_x64: { trigger_build( 'gcc-9',   'x64' ) },
-					gcc_8_x64: { trigger_build( 'gcc-8',   'x64' ) },
-					gcc_7_x64: { trigger_build( 'gcc-7',   'x64' ) },
-					gcc_6_x64: { trigger_build( 'gcc-6',   'x64' ) },
-					gcc_5_x64: { trigger_build( 'gcc-5',   'x64' ) },
-					clang_x64: { trigger_build( 'clang',   'x64' ) },
+					gcc_8_x86_old: { trigger_build( 'gcc-8',   'x86', false ) },
+					gcc_7_x86_old: { trigger_build( 'gcc-7',   'x86', false ) },
+					gcc_6_x86_old: { trigger_build( 'gcc-6',   'x86', false ) },
+					gcc_9_x64_old: { trigger_build( 'gcc-9',   'x64', false ) },
+					gcc_8_x64_old: { trigger_build( 'gcc-8',   'x64', false ) },
+					gcc_7_x64_old: { trigger_build( 'gcc-7',   'x64', false ) },
+					gcc_6_x64_old: { trigger_build( 'gcc-6',   'x64', false ) },
+					gcc_5_x64_old: { trigger_build( 'gcc-5',   'x64', false ) },
+					clang_x64_old: { trigger_build( 'clang',   'x64', false ) },
+					// clang_x64_new: { trigger_build( 'clang',   'x64', true  ) },
 				)
 			}
@@ -59,5 +60,5 @@
 //===========================================================================================================
 
-def trigger_build(String cc, String arch) {
+def trigger_build(String cc, String arch, Bool new_ast) {
 	def result = build job: 'Cforall/master', 		\
 		parameters: [						\
@@ -68,4 +69,7 @@
 			  name: 'Architecture', 			\
 			  value: arch],					\
+			[$class: 'BooleanParameterValue', 		\
+			  name: 'NewAST', 				\
+			  value: new_ast], 				\
 			[$class: 'BooleanParameterValue', 		\
 			  name: 'RunAllTests', 				\
@@ -79,5 +83,5 @@
 			[$class: 'BooleanParameterValue', 		\
 			  name: 'Publish', 				\
-			  value: true], 				\
+			  value: true], 					\
 			[$class: 'BooleanParameterValue', 		\
 			  name: 'Silent', 				\