diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2018-01-27 21:44:57 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2018-01-27 21:44:57 +0100 |
| commit | f4d3cee3a00211b346620f88abc5cb81c318cabe (patch) | |
| tree | 1ce354b9dda4eabdc655491e4029e1c24924d8f5 /scripts | |
| parent | 7dab2d00ee6098e6a771a3a566c71a614ef18bb2 (diff) | |
hurd: make build-many-glibcs.py use mainline mig
Some warnings come from code generated by mig, so we need a very recent
version for now.
* scripts/build-many-glibcs.py (checkout_vcs): Add mig repository
URL, and run autoreconf, make it the default for now.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/build-many-glibcs.py | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/scripts/build-many-glibcs.py b/scripts/build-many-glibcs.py index fbb701e25d..d7adcc8022 100755 --- a/scripts/build-many-glibcs.py +++ b/scripts/build-many-glibcs.py @@ -704,7 +704,7 @@ class Context(object): 'linux': '4.14', 'mpc': '1.1.0', 'mpfr': '4.0.0', - 'mig': '1.8', + 'mig': 'vcs-mainline', 'gnumach': '1.8', 'hurd': 'vcs-mainline'} use_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 == 'mig': + git_url = 'git://git.savannah.gnu.org/hurd/mig.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 == 'hurd': git_url = 'git://git.savannah.gnu.org/hurd/hurd.git' git_branch = 'master' |