Index: Jenkins/TestRegen
===================================================================
--- Jenkins/TestRegen	(revision caa8f7b02506f5c93e0ced547ffedffc14d6e14d)
+++ Jenkins/TestRegen	(revision eb220ca91f5de4b6fb015076cffe22f184eb5e19)
@@ -64,5 +64,5 @@
 	//escapes the sandbox
 	//Also specify the compiler by hand
-	sh "./configure CXX=clang++ ${arch} --with-backend-compiler=gcc-6 --prefix=${install_dir} --enable-silent-rules --quiet"
+	sh "./configure CXX=clang++ --host=${arch} --with-backend-compiler=gcc-6 --prefix=${install_dir} --enable-silent-rules --quiet"
 
 	//Compile the project