diff options
Diffstat (limited to 'pkgs/development/tools/misc/valgrind')
-rw-r--r--[-rwxr-xr-x] | pkgs/development/tools/misc/valgrind/builder.sh | 2 | ||||
-rw-r--r-- | pkgs/development/tools/misc/valgrind/default.nix | 4 |
2 files changed, 1 insertions, 5 deletions
diff --git a/pkgs/development/tools/misc/valgrind/builder.sh b/pkgs/development/tools/misc/valgrind/builder.sh index ec568b79a183c..a3066cf635266 100755..100644 --- a/pkgs/development/tools/misc/valgrind/builder.sh +++ b/pkgs/development/tools/misc/valgrind/builder.sh @@ -1,5 +1,3 @@ -#! /bin/sh - . $stdenv/setup || exit 1 # !!! hack; this is because $linuxHeaders/config.h includes some diff --git a/pkgs/development/tools/misc/valgrind/default.nix b/pkgs/development/tools/misc/valgrind/default.nix index 772479d601fef..7b46fc183a61e 100644 --- a/pkgs/development/tools/misc/valgrind/default.nix +++ b/pkgs/development/tools/misc/valgrind/default.nix @@ -1,12 +1,10 @@ {stdenv, fetchurl}: -derivation { +stdenv.mkDerivation { name = "valgrind-2.1.0"; - system = stdenv.system; builder = ./builder.sh; src = fetchurl { url = http://developer.kde.org/~sewardj/valgrind-2.1.0.tar.bz2; md5 = "3e4056dd45163a5f555a23ced2f95191"; }; - stdenv = stdenv; } |