Source: eigen3 Version: 3.2.2-3 Severity: grave Control: found -1 3.2.4-1 Your debian/rules does
export NUMJOBS = $(patsubst parallel=%,%,$(filter parallel=%,$(DEB_BUILD_OPTIONS))) and then runs make -j$(NUMJOBS). If DEB_BUILD_OPTIONS is not set, or doesn't contain a parallelism setting, this results in unlimited parallelism instead of the expected -j1, pretty much killing the build host. Cheers, Julien
signature.asc
Description: Digital signature
-- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
