diff options
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' |