Shorten prctl code a tiny bit.

diff --git a/platform.c b/platform.c
index ee3e069146d766c72d466801c60e0183235a1542..e3722e4ae6739a438460fa57aeba365e68bd8a48 100644 (file)
--- a/platform.c
+++ b/platform.c
@@ -226,8 +226,7 @@ platform_disable_tracing(int strict)
 {
 #if defined(HAVE_PRCTL) && defined(PR_SET_DUMPABLE)
        /* Disable ptrace on Linux without sgid bit */
-       if (prctl(PR_SET_DUMPABLE, 0) != 0)
-               if (strict)
-                       fatal("unable to make the process undumpable");
+       if (prctl(PR_SET_DUMPABLE, 0) != 0 && strict)
+               fatal("unable to make the process undumpable");
 #endif
 }