@@ -77,7 +77,7 @@ int main(int argc, char **argv)
starpu_shutdown();
- return 0;
+ return (v == 42) ? 0 : 1;
enodev: