diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-12-07 17:13:47 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-12-07 17:13:47 +0100 |
| commit | 66f217b43aca603326dab17d4dda1a398bf4fb8c (patch) | |
| tree | 1cfedcf99159469a9dec9f7421b4877d30310c42 /etc | |
| parent | 28faa40c40270e01ebe18d9f178d1dbdd2ce425b (diff) | |
pull: Build with an ABI-compatible Guile.
Fixes <https://bugs.gnu.org/29570>.
Reported by Vagrant Cascadian <vagrant@debian.org>.
* build-aux/build-self.scm (matching-guile-2.2): New procedure.
(guile-for-build): Use it.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions