diff options
| -rw-r--r-- | pkgs/development/tools/misc/gnum4/default.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/development/tools/misc/gnum4/default.nix b/pkgs/development/tools/misc/gnum4/default.nix index 67688254a407..7174f4b41c3c 100644 --- a/pkgs/development/tools/misc/gnum4/default.nix +++ b/pkgs/development/tools/misc/gnum4/default.nix @@ -1,4 +1,4 @@ -{stdenv, fetchurl}: +{ stdenv, fetchurl }: stdenv.mkDerivation rec { name = "gnum4-1.4.17"; @@ -12,6 +12,8 @@ stdenv.mkDerivation rec { && !stdenv.isCygwin # XXX: `test-dup2' fails on Cygwin && !stdenv.isSunOS; # XXX: `test-setlocale2.sh' fails + configureFlags = "--with-syscmd-shell=${stdenv.shell}"; + # Upstream is aware of it; it may be in the next release. patches = [ ./s_isdir.patch ]; |