diff options
| author | John Ericson <Ericson2314@Yahoo.com> | 2015-05-09 00:50:39 +0000 |
|---|---|---|
| committer | John Ericson <Ericson2314@Yahoo.com> | 2015-05-17 20:15:09 -0400 |
| commit | 705c4d7b49a7a824be70b6ead4799dfe328df783 (patch) | |
| tree | 4daa6c6110e8fd1baca906cc4e82c48cd0250160 /pkgs/build-support/agda | |
| parent | f93a8ee1105f4cc3770ce339a8c1a4acea3b2fb6 (diff) | |
| download | nixpkgs-705c4d7b49a7a824be70b6ead4799dfe328df783.tar nixpkgs-705c4d7b49a7a824be70b6ead4799dfe328df783.tar.gz nixpkgs-705c4d7b49a7a824be70b6ead4799dfe328df783.tar.bz2 nixpkgs-705c4d7b49a7a824be70b6ead4799dfe328df783.tar.lz nixpkgs-705c4d7b49a7a824be70b6ead4799dfe328df783.tar.xz nixpkgs-705c4d7b49a7a824be70b6ead4799dfe328df783.tar.zst nixpkgs-705c4d7b49a7a824be70b6ead4799dfe328df783.zip | |
agda: Remove unnecessary env-var export
Derivation attributes are automatically exported as environment variables already.
Diffstat (limited to 'pkgs/build-support/agda')
| -rw-r--r-- | pkgs/build-support/agda/default.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix index cb6059e00cd..a137704a30c 100644 --- a/pkgs/build-support/agda/default.nix +++ b/pkgs/build-support/agda/default.nix @@ -70,7 +70,6 @@ in # configurePhase is idempotent configurePhase = '' eval "$preConfigure" - export AGDA_PACKAGE_PATH=${self.AGDA_PACKAGE_PATH}; export PATH="${self.agdaWrapper}/bin:$PATH" eval "$postConfigure" ''; |