Merge: lib/github: implements caching to maximize rate limit.

[nit.git] / lib / standard / exec_nit.c

diff --git a/lib/standard/exec_nit.c b/lib/standard/exec_nit.c
index c69ba64..317e909 100644 (file)
--- a/lib/standard/exec_nit.c
+++ b/lib/standard/exec_nit.c
@@ -82,7 +82,7 @@ se_exec_data_t* exec_Process_Process_basic_exec_execute_4(void *s, char *prog, c
 
                /* calls */
                execvp(prog, arg);
-               abort();
+               _exit(127);
        }
        else if (id > 0)
                { /* father */