From 2b255bb04d0972710fa201e5838b7f7cee507167 Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Fri, 9 Nov 2012 11:05:22 +0100 Subject: [PATCH] android-sdk: Add another exec --- pkgs/development/androidenv/androidsdk.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/androidenv/androidsdk.nix b/pkgs/development/androidenv/androidsdk.nix index f11ae69e14a..b175266ebf7 100644 --- a/pkgs/development/androidenv/androidsdk.nix +++ b/pkgs/development/androidenv/androidsdk.nix @@ -165,7 +165,7 @@ stdenv.mkDerivation { then ( echo '#! ${stdenv.shell} -e' echo "cd $out/libexec/android-sdk-*/platform-tools" - echo "./$(basename $i) \"\$@\"") > $out/bin/$(basename $i) + echo "exec ./$(basename $i) \"\$@\"") > $out/bin/$(basename $i) chmod +x $out/bin/$(basename $i) fi