BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

agda: use exec in agdaWrapper

Browse source
This commit is contained in:
Dmitry Kalinkin 2018-12-07 21:37:19 -05:00
parent 0266996a8d
commit 3b6de72836
No known key found for this signature in database
GPG key ID: 5157B3EC8B2CA333
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
pkgs/build-support/agda/default.nix
View file

@ -78,7 +78,7 @@ let
# Makes a wrapper available to the user. Very useful in # Makes a wrapper available to the user. Very useful in
# nix-shell where all dependencies are -i'd. # nix-shell where all dependencies are -i'd.
agdaWrapper = writeShellScriptBin "agda" '' agdaWrapper = writeShellScriptBin "agda" ''
${self.agdaWithArgs} "$@" exec ${self.agdaWithArgs} "$@"
''; '';
in [agdaWrapper] ++ self.buildDepends; in [agdaWrapper] ++ self.buildDepends;
}; };