fix benchmarks for emper

benchmarks/test.h

@@ -105,6 +105,7 @@ int main(int argc, const char * argv[])
 	}
 
 	init();
+	int result;
 
 	fibril_rt_init(0);
 	int nprocs = fibril_rt_nprocs();
@@ -117,6 +118,7 @@ int main(int argc, const char * argv[])
 	test();
 #endif
 
+	result = verify();
 	fibril_rt_exit();
 
 #ifdef BENCHMARK
@@ -130,7 +132,8 @@ int main(int argc, const char * argv[])
 	printf("===========================================\n");
 #endif
 
-	return verify();
+	//return verify();
+	return result;
 }
 
 #endif /* end of include guard: TEST_H */