diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/build-many-glibcs.py | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py index 3f288e0..1bf8ee1 100755 --- a/scripts/build-many-glibcs.py +++ b/scripts/build-many-glibcs.py @@ -50,17 +50,6 @@ import time import urllib.request try: - os.cpu_count -except: - import multiprocessing - os.cpu_count = lambda: multiprocessing.cpu_count() - -try: - re.fullmatch -except: - re.fullmatch = lambda p,s,f=0: re.match(p+"\\Z",s,f) - -try: subprocess.run except: class _CompletedProcess: |