diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-03-20 17:28:09 +0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2018-03-20 17:28:09 +0100 |
commit | 668ac3ea2c4c7390761dfbc5738c2aa85fda9751 (patch) | |
tree | 74a492a409f981a885df3facd92a63fa54624199 /.gitignore | |
parent | 9d40787938f38d19edbabad03586d0948236aefd (diff) |
Make <nix/buildenv.nix> a builtin builder
This avoids sandbox annoyances.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/.gitignore b/.gitignore index 0a9599378..0f2f3ddee 100644 --- a/.gitignore +++ b/.gitignore @@ -13,9 +13,6 @@ perl/Makefile.config /corepkgs/config.nix -# /corepkgs/buildenv/ -/corepkgs/buildenv/builder.pl - # /corepkgs/channels/ /corepkgs/channels/unpack.sh @@ -72,9 +69,6 @@ perl/Makefile.config # /src/nix-channel/ /src/nix-channel/nix-channel -# /src/buildenv/ -/src/buildenv/buildenv - # /src/nix-build/ /src/nix-build/nix-build |