catkin tools 4.4.4 GNU make 4.2 jobserver fix

jobserver.patch

diff -ura src/catkin_tools-0.4.4/catkin_tools/execution/job_server.py src2/catkin_tools-0.4.4/catkin_tools/execution/job_server.py
--- src/catkin_tools-0.4.4/catkin_tools/execution/job_server.py	2017-02-08 19:24:48.000000000 +0100
+++ src2/catkin_tools-0.4.4/catkin_tools/execution/job_server.py	2017-08-12 23:11:11.465047719 +0200
@@ -65,7 +65,7 @@
 
 JOBSERVER_SUPPORT_MAKEFILE = b'''
 all:
-\techo $(MAKEFLAGS) | grep -- '--jobserver-fds'
+\techo $(MAKEFLAGS) | grep -- '--jobserver-auth'
 '''
 
 
@@ -73,7 +73,7 @@
     """
     Test if the system 'make' supports the job server implementation.
 
-    This simply checks if the `--jobserver-fds` option is supported by the
+    This simply checks if the `--jobserver-auth` option is supported by the
     `make` command. It does not tests if the jobserver is actually working
     properly.
     """
@@ -407,7 +407,7 @@
     """
 
     if gnu_make_enabled():
-        return ["--jobserver-fds=%d,%d" % JobServer._job_pipe, "-j"]
+        return ["--jobserver-auth=%d,%d" % JobServer._job_pipe]
     else:
         return []