diff options
Diffstat (limited to 'pkgs/build-support/agda')
| -rw-r--r-- | pkgs/build-support/agda/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix index 356fd058cac4..16fe748c3e5c 100644 --- a/pkgs/build-support/agda/default.nix +++ b/pkgs/build-support/agda/default.nix @@ -78,7 +78,7 @@ let # Makes a wrapper available to the user. Very useful in # nix-shell where all dependencies are -i'd. agdaWrapper = writeShellScriptBin "agda" '' - ${self.agdaWithArgs} "$@" + exec ${self.agdaWithArgs} "$@" ''; in [agdaWrapper] ++ self.buildDepends; }; |