diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-12-20 19:57:28 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-20 20:01:10 +0100 |
commit | ea8be005d409658dea4f4356e9279784ce0a5a39 (patch) | |
tree | 5e2e22332f37cbf171a75d524b60a87c7f8afd12 /gnu/packages/bootstrap | |
parent | 86974d8a9247cbeb938b5202f23ccca8d9ed627d (diff) | |
download | patches-ea8be005d409658dea4f4356e9279784ce0a5a39.tar patches-ea8be005d409658dea4f4356e9279784ce0a5a39.tar.gz |
gnu: Use i686-linux bootstrap binaries on x86_64-linux.
This saves 4.4 MB on the installed Guix.
* gnu/packages/bootstrap/x86_64-linux: Remove directory.
* gnu/local.mk (bootstrap_x86_64_linuxdir)
(dist_bootstrap_x86_64_linux_DATA): Remove.
* gnu/packages.scm (search-bootstrap-binary): When SYSTEM is
"x86_64-linux", use "i686-linux" instead.
Diffstat (limited to 'gnu/packages/bootstrap')
-rwxr-xr-x | gnu/packages/bootstrap/x86_64-linux/bash | bin | 1425560 -> 0 bytes |
-rwxr-xr-x | gnu/packages/bootstrap/x86_64-linux/mkdir | bin | 792448 -> 0 bytes |
-rwxr-xr-x | gnu/packages/bootstrap/x86_64-linux/tar | bin | 1369912 -> 0 bytes |
-rwxr-xr-x | gnu/packages/bootstrap/x86_64-linux/xz | bin | 927264 -> 0 bytes |
4 files changed, 0 insertions, 0 deletions
diff --git a/gnu/packages/bootstrap/x86_64-linux/bash b/gnu/packages/bootstrap/x86_64-linux/bash Binary files differdeleted file mode 100755 index b9c410b7cf..0000000000 --- a/gnu/packages/bootstrap/x86_64-linux/bash +++ /dev/null diff --git a/gnu/packages/bootstrap/x86_64-linux/mkdir b/gnu/packages/bootstrap/x86_64-linux/mkdir Binary files differdeleted file mode 100755 index f8250ae693..0000000000 --- a/gnu/packages/bootstrap/x86_64-linux/mkdir +++ /dev/null diff --git a/gnu/packages/bootstrap/x86_64-linux/tar b/gnu/packages/bootstrap/x86_64-linux/tar Binary files differdeleted file mode 100755 index 90e492f89d..0000000000 --- a/gnu/packages/bootstrap/x86_64-linux/tar +++ /dev/null diff --git a/gnu/packages/bootstrap/x86_64-linux/xz b/gnu/packages/bootstrap/x86_64-linux/xz Binary files differdeleted file mode 100755 index 6bfe3c6d96..0000000000 --- a/gnu/packages/bootstrap/x86_64-linux/xz +++ /dev/null |