|
@@ -309,6 +309,8 @@ int main(int argc, char *argv[])
|
|
setenv("STARPU_CHECK_LAUNCHER", launcher, 1);
|
|
setenv("STARPU_CHECK_LAUNCHER", launcher, 1);
|
|
if (launcher_args)
|
|
if (launcher_args)
|
|
setenv("STARPU_CHECK_LAUNCHER_ARGS", launcher_args, 1);
|
|
setenv("STARPU_CHECK_LAUNCHER_ARGS", launcher_args, 1);
|
|
|
|
+ else
|
|
|
|
+ launcher_args = "";
|
|
|
|
|
|
/* And give a convenience macro */
|
|
/* And give a convenience macro */
|
|
size_t len_launch = strlen(launcher) + 1 + strlen(launcher_args) + 1;
|
|
size_t len_launch = strlen(launcher) + 1 + strlen(launcher_args) + 1;
|