diff --git a/build/pkgs/gnumake_tokenpool/checksums.ini b/build/pkgs/gnumake_tokenpool/checksums.ini index 62f631ea40a..e79058d27e3 100644 --- a/build/pkgs/gnumake_tokenpool/checksums.ini +++ b/build/pkgs/gnumake_tokenpool/checksums.ini @@ -1,5 +1,5 @@ tarball=gnumake_tokenpool-VERSION-py3-none-any.whl -sha1=a060f03e0306a85bc1a91a450e457be83ed371e9 -md5=834ccc4d6d52741c5eabac1bdb8f39b2 -cksum=1679797266 +sha1=3dfcc8c466c17f974d90694f81f4481c3d84aecc +md5=5dae4c65e9609853085ae1970d4fe143 +cksum=612213211 upstream_url=https://pypi.io/packages/py3/g/gnumake_tokenpool/gnumake_tokenpool-VERSION-py3-none-any.whl diff --git a/build/pkgs/gnumake_tokenpool/install-requires.txt b/build/pkgs/gnumake_tokenpool/install-requires.txt index 0ee4452edd3..759ca97a680 100644 --- a/build/pkgs/gnumake_tokenpool/install-requires.txt +++ b/build/pkgs/gnumake_tokenpool/install-requires.txt @@ -1 +1 @@ -gnumake-tokenpool +gnumake-tokenpool >= 0.0.4 diff --git a/build/pkgs/gnumake_tokenpool/package-version.txt b/build/pkgs/gnumake_tokenpool/package-version.txt index bcab45af15a..81340c7e72d 100644 --- a/build/pkgs/gnumake_tokenpool/package-version.txt +++ b/build/pkgs/gnumake_tokenpool/package-version.txt @@ -1 +1 @@ -0.0.3 +0.0.4 diff --git a/src/sage/doctest/forker.py b/src/sage/doctest/forker.py index 4315cd1ba9f..efd28d10abe 100644 --- a/src/sage/doctest/forker.py +++ b/src/sage/doctest/forker.py @@ -1806,12 +1806,13 @@ def parallel_dispatch(self): job_client = None try: from gnumake_tokenpool import JobClient, NoJobServer + except ImportError: + pass + else: try: - job_client = JobClient() + job_client = JobClient(use_cysignals=True) except NoJobServer: pass - except ImportError: - pass source_iter = iter(self.controller.sources)