summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2018-01-28 15:48:04 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2018-01-28 15:48:04 +0100
commit19fd8d0d3ebcf84e0e380902e0e2fe720d377f0f (patch)
treeccf7f78d9276af066e33713c1d1ceb9022077a79 /scripts
parent660b7bff81676aef6a7b068eb137efd74b30c628 (diff)
hurd: Make build-many-glibcs.py use mainline gnumach
Some warnings need a couple of fixes in the gnumach headers. * scripts/build-many-glibcs.py (checkout_vcs): Add gnumach repository URLs, run autoreconf, and make it the default for now.
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/build-many-glibcs.py9
1 files changed, 8 insertions, 1 deletions
diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py
index d7adcc8022..43b573e371 100755
--- a/scripts/build-many-glibcs.py
+++ b/scripts/build-many-glibcs.py
@@ -705,7 +705,7 @@ class Context(object):
'mpc': '1.1.0',
'mpfr': '4.0.0',
'mig': 'vcs-mainline',
- 'gnumach': '1.8',
+ 'gnumach': 'vcs-mainline',
'hurd': 'vcs-mainline'}
use_versions = {}
explicit_versions = {}
@@ -786,6 +786,13 @@ class Context(object):
r = self.git_checkout(component, git_url, git_branch, update)
self.fix_glibc_timestamps()
return r
+ elif component == 'gnumach':
+ git_url = 'git://git.savannah.gnu.org/hurd/gnumach.git'
+ git_branch = 'master'
+ r = self.git_checkout(component, git_url, git_branch, update)
+ subprocess.run(['autoreconf', '-i'],
+ cwd=self.component_srcdir(component), check=True)
+ return r
elif component == 'mig':
git_url = 'git://git.savannah.gnu.org/hurd/mig.git'
git_branch = 'master'