diff options
Diffstat (limited to 'devel/anjuta/files/patch-src::anjuta.c')
| -rw-r--r-- | devel/anjuta/files/patch-src::anjuta.c | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/devel/anjuta/files/patch-src::anjuta.c b/devel/anjuta/files/patch-src::anjuta.c deleted file mode 100644 index da8a838ed74d..000000000000 --- a/devel/anjuta/files/patch-src::anjuta.c +++ /dev/null @@ -1,11 +0,0 @@ ---- src/anjuta.c.orig Sun Jun 8 23:31:48 2003 -+++ src/anjuta.c Sun Jun 8 23:33:26 2003 -@@ -1938,6 +1938,8 @@ - pid = waitpid (0, &status, WNOHANG); - if (pid < 1) - return; -+ if (!app) -+ return; - idx = g_list_index (app->registered_child_processes, (int *) pid); - if (idx < 0) - return; |