diff options
| author | rnhmjoj <rnhmjoj@inventati.org> | 2019-01-15 23:41:31 +0100 |
|---|---|---|
| committer | rnhmjoj <rnhmjoj@inventati.org> | 2019-01-16 20:37:15 +0100 |
| commit | bcf54ce5bbc8c325cfd2b6bcc5cec7661ef49183 (patch) | |
| tree | 26aef5b71509a26f7986e6cf9928b7687c21787d /pkgs/development/compilers/cmdstan | |
| parent | 3956a8421f2d78bc66ad9d3c23a3b5510bc695be (diff) | |
treewide: use ${stdenv.shell} instead of /bin/sh where possible
Diffstat (limited to 'pkgs/development/compilers/cmdstan')
| -rw-r--r-- | pkgs/development/compilers/cmdstan/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/compilers/cmdstan/default.nix b/pkgs/development/compilers/cmdstan/default.nix index 2b2ae896a6d3a..3d9fe3a59cfd0 100644 --- a/pkgs/development/compilers/cmdstan/default.nix +++ b/pkgs/development/compilers/cmdstan/default.nix @@ -21,7 +21,7 @@ stdenv.mkDerivation rec { ln -s $out/opt/cmdstan/bin/stanc $out/bin/stanc ln -s $out/opt/cmdstan/bin/stansummary $out/bin/stansummary cat > $out/bin/stan <<EOF - #!/bin/sh + #!${stdenv.shell} make -C $out/opt/cmdstan "\$(realpath "\$1")" EOF chmod a+x $out/bin/stan |