examples/: Exit from the main function by returning 77 if starpu_init() returned -ENODEV.

This patch was generated by the following semantic patch :

@@
identifier err;
@@
int
main(...)
{
...
err = starpu_init(...);
+if (err == -ENODEV)
+	return 77;
STARPU_CHECK_RETURN_VALUE(...);
...
}

examples/audio/starpu_audio_processing.c

@@ -406,6 +406,8 @@ int main(int argc, char **argv)
 
 	/* launch StarPU */
 	ret = starpu_init(NULL);
+	if (ret == -ENODEV)
+		return 77;
 	STARPU_CHECK_RETURN_VALUE(ret, "starpu_init");
 
 	starpu_vector_data_register(&A_handle, 0, (uintptr_t)A, niter*nsamples, sizeof(float));

examples/spmv/dw_block_spmv.c

@@ -301,6 +301,8 @@ int main(__attribute__ ((unused)) int argc,
 
 	/* start the runtime */
 	ret = starpu_init(NULL);
+	if (ret == -ENODEV)
+		return 77;
 	STARPU_CHECK_RETURN_VALUE(ret, "starpu_init");
 
 	sem_init(&sem, 0, 0U);

examples/stencil/stencil.c

@@ -216,6 +216,8 @@ int main(int argc, char **argv)
 	}
 
 	ret = starpu_init(NULL);
+	if (ret == -ENODEV)
+		return 77;
 	STARPU_CHECK_RETURN_VALUE(ret, "starpu_init");
 
 #ifdef STARPU_USE_MPI