diff options
Diffstat (limited to 'pkgs/development/tools/misc/valgrind/builder.sh')
-rw-r--r--[-rwxr-xr-x] | pkgs/development/tools/misc/valgrind/builder.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/pkgs/development/tools/misc/valgrind/builder.sh b/pkgs/development/tools/misc/valgrind/builder.sh index ec568b79a183..a3066cf63526 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 |