Lluís Batlle i Rossell ee2f05d683 Removing unneeded changes in stdenvLinux, for the pi. ...

I had those changes from the time when I wanted to bootstrap
its stdenvLinux from armv5tel bootstrap-tools. But that
never worked.

2012-12-27 15:19:23 +00:00

..

bootstrap

Setting a public URL for the pi bootstrap tools

2012-12-26 22:42:57 +00:00

scripts

Going with armv6l-linux bootstrap-tools.

2012-12-26 22:01:41 +00:00

default.nix

Removing unneeded changes in stdenvLinux, for the pi.

2012-12-27 15:19:23 +00:00

make-bootstrap-tools-crosspi.nix

Improving the bootstrap tools (missing libs)

2012-12-26 22:01:08 +00:00

make-bootstrap-tools.nix

* Don't use the "replace-literal" command in stdenv; instead use

2012-01-19 13:47:26 +00:00