@@ -2424,8 +2424,10 @@ __gnat_portable_spawn (char *args[] ATTRIBUTE_UNUSED)
if (pid == 0)
{
/* The child. */
- if (execv (args[0], MAYBE_TO_PTR32 (args)) != 0)
- _exit (1);
+ execv (args[0], MAYBE_TO_PTR32 (args));
+
+ /* execv() returns only on error */
+ _exit (1);
}
/* The parent. */
@@ -2822,8 +2824,10 @@ __gnat_portable_no_block_spawn (char *args[] ATTRIBUTE_UNUSED)
if (pid == 0)
{
/* The child. */
- if (execv (args[0], MAYBE_TO_PTR32 (args)) != 0)
- _exit (1);
+ execv (args[0], MAYBE_TO_PTR32 (args));
+
+ /* execv() returns only on error */
+ _exit (1);
}
return pid;