[gnome-builder] prctl: use SIGKILL instead of SIGTERM

[Christian Hergert <chergert src gnome org>]

commit 720d45dd03aae4c66e87a3d7c6573223c6fbf3d5
Author: Christian Hergert <chergert redhat com>
Date:   Sun Oct 30 02:14:06 2016 -0700

    prctl: use SIGKILL instead of SIGTERM

 libide/application/ide-application.c        |    2 +-
 libide/subprocess/ide-subprocess-launcher.c |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/libide/application/ide-application.c b/libide/application/ide-application.c
index fe003b1..c0218a5 100644
--- a/libide/application/ide-application.c
+++ b/libide/application/ide-application.c
@@ -229,7 +229,7 @@ ide_application_activate_worker (IdeApplication *self)
 
 #ifdef __linux
   /* Ensure we are killed with our parent */
-  prctl (PR_SET_PDEATHSIG, 15);
+  prctl (PR_SET_PDEATHSIG, SIGKILL);
 #endif
 
   IDE_TRACE_MSG ("Connecting to %s", self->dbus_address);
diff --git a/libide/subprocess/ide-subprocess-launcher.c b/libide/subprocess/ide-subprocess-launcher.c
index fa1fb85..2b6990b 100644
--- a/libide/subprocess/ide-subprocess-launcher.c
+++ b/libide/subprocess/ide-subprocess-launcher.c
@@ -82,7 +82,7 @@ child_setup_func (gpointer data)
 
 #ifdef __linux
   /* Ensure we are killed with our parent */
-  prctl (PR_SET_PDEATHSIG, 15);
+  prctl (PR_SET_PDEATHSIG, SIGKILL);
 #endif
 }