debian/rules: Handles '-j' option for make.

Signed-off-by: Roland Levillain <roland@lrde.epita.fr>

ChangeLog

+2012-05-23  Guillaume Lazzara  <z@lrde.epita.fr>
+
+	* debian/rules: Handles '-j' option for make.
+
 2012-05-23  Guillaume Lazzara  <z@lrde.epita.fr>
 
 	* debian/control: Update Standards-Version.

debian/rules

@@ -10,6 +10,7 @@ export DH_OPTIONS
 # from having to guess our platform (since we know it already)
 DEB_HOST_GNU_TYPE   ?= $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE)
 DEB_BUILD_GNU_TYPE  ?= $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE)
+CPU_COUNT ?= $(shell grep -c processor /proc/cpuinfo)
 
 CFLAGS = -Wall -g
 
@@ -25,7 +26,7 @@ build-stamp:
 	dh_testdir
 	./bootstrap
 	./configure --host=$(DEB_HOST_GNU_TYPE) --build=$(DEB_BUILD_GNU_TYPE) --enable-scribo --prefix=/usr --libexecdir=/usr/lib
-	$(MAKE)
+	$(MAKE) -j$(CPU_COUNT)
 	touch $@
 
 clean: