diff options
author | Dmitry Kalinkin <dmitry.kalinkin@gmail.com> | 2018-12-07 21:48:34 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-07 21:48:34 -0500 |
commit | 2da30b1384147915922091fa17ce18fc9d0d6a8d (patch) | |
tree | 8a00f68b324a1d146fcc4c45aee1564dc555be16 /pkgs/build-support | |
parent | 0e8e02e686363de53ad80953c265cf11a95304f4 (diff) | |
parent | 3b6de728362bb9047d19ca418a9ecd48b7e5f534 (diff) | |
download | nixpkgs-2da30b1384147915922091fa17ce18fc9d0d6a8d.tar nixpkgs-2da30b1384147915922091fa17ce18fc9d0d6a8d.tar.gz nixpkgs-2da30b1384147915922091fa17ce18fc9d0d6a8d.tar.bz2 nixpkgs-2da30b1384147915922091fa17ce18fc9d0d6a8d.tar.lz nixpkgs-2da30b1384147915922091fa17ce18fc9d0d6a8d.tar.xz nixpkgs-2da30b1384147915922091fa17ce18fc9d0d6a8d.tar.zst nixpkgs-2da30b1384147915922091fa17ce18fc9d0d6a8d.zip |
Merge pull request #49918 from cocreature/agda-env
agda: use writeShellScriptbin instead of writeScriptBin
Diffstat (limited to 'pkgs/build-support')
-rw-r--r-- | pkgs/build-support/agda/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix index 8a871cfeb51..16fe748c3e5 100644 --- a/pkgs/build-support/agda/default.nix +++ b/pkgs/build-support/agda/default.nix @@ -3,7 +3,7 @@ # Contact: stdenv.lib.maintainers.fuuzetsu { stdenv, Agda, glibcLocales -, writeScriptBin +, writeShellScriptBin , extension ? (self: super: {}) }: @@ -77,8 +77,8 @@ let buildInputs = let # Makes a wrapper available to the user. Very useful in # nix-shell where all dependencies are -i'd. - agdaWrapper = writeScriptBin "agda" '' - ${self.agdaWithArgs} "$@" + agdaWrapper = writeShellScriptBin "agda" '' + exec ${self.agdaWithArgs} "$@" ''; in [agdaWrapper] ++ self.buildDepends; }; |