diff options
author | Tuomas Tynkkynen <tuomas@tuxera.com> | 2016-07-17 00:11:34 +0300 |
---|---|---|
committer | Tuomas Tynkkynen <tuomas.tynkkynen@iki.fi> | 2016-07-20 02:38:10 +0300 |
commit | 171c7f0e63b0f92c71c73b756cbbd91b8ddce444 (patch) | |
tree | acd4f19d9a99161202afb8caec1bc67ef1f385e4 /pkgs/top-level/platforms.nix | |
parent | 9f0dc294da55783c4636b68a78f755754606f2c7 (diff) | |
download | nixpkgs-171c7f0e63b0f92c71c73b756cbbd91b8ddce444.tar nixpkgs-171c7f0e63b0f92c71c73b756cbbd91b8ddce444.tar.gz nixpkgs-171c7f0e63b0f92c71c73b756cbbd91b8ddce444.tar.bz2 nixpkgs-171c7f0e63b0f92c71c73b756cbbd91b8ddce444.tar.lz nixpkgs-171c7f0e63b0f92c71c73b756cbbd91b8ddce444.tar.xz nixpkgs-171c7f0e63b0f92c71c73b756cbbd91b8ddce444.tar.zst nixpkgs-171c7f0e63b0f92c71c73b756cbbd91b8ddce444.zip |
make-bootstrap-tools-cross.nix: Have more consistency with platforms.nix
E.g. we had `arch = "arm"` in the former and `arch = "armv6"` in the latter. Try to have some more consistency.
Diffstat (limited to 'pkgs/top-level/platforms.nix')
-rw-r--r-- | pkgs/top-level/platforms.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix index 0c2056928c3..1be8c7ad264 100644 --- a/pkgs/top-level/platforms.nix +++ b/pkgs/top-level/platforms.nix @@ -129,6 +129,10 @@ rec { # Only for uboot = uboot : ubootConfig = "sheevaplug_config"; kernelDTB = true; # Beyond 3.10 + gcc = { + arch = "armv5te"; + float = "soft"; + }; }; raspberrypi = { |