The unified diff between revisions [57cdbbf4..] and [3bb48381..] is displayed below. It can also be downloaded as a raw diff.
# # # patch "debian/rules" # from [e35461dc4970d911b6c71003ddfc67dfdc44c918] # to [7f3d9aad9da8890470347226f8a1f40a37c24d84] # ============================================================ --- debian/rules e35461dc4970d911b6c71003ddfc67dfdc44c918 +++ debian/rules 7f3d9aad9da8890470347226f8a1f40a37c24d84 @@ -66,7 +66,7 @@ build-stamp: $(C_OBJS) build-stamp: $(C_OBJS) dh_testdir - gnatmake -p -Pdebian/gprbuild_build + gnatmake -j$(CPUS) -p -Pdebian/gprbuild_build touch $@ # The upstream Makefile builds these C files with no optimization. The