Merge #20264: root: fix environment setup

This commit is contained in:
Vladimír Čunát 2016-11-14 22:11:54 +01:00
commit 4c19651108
No known key found for this signature in database
GPG key ID: E747DF1F9575A3AA
3 changed files with 19 additions and 1 deletions

View file

@ -21,6 +21,9 @@ stdenv.mkDerivation rec {
sha256 = "186i7ni75yvjydy6lpmaplqxfb5z2019bgpbhff1n6zn2qlrff2r";
})
./sw_vers.patch
# this prevents thisroot.sh from setting $p, which interferes with stdenv setup
./thisroot.patch
];
preConfigure = ''

View file

@ -6,4 +6,4 @@ thisroot () {
source @out@/bin/thisroot.sh
}
envHooks+=(thisroot)
postHooks+=(thisroot)

View file

@ -0,0 +1,15 @@
diff --git a/config/thisroot.sh b/config/thisroot.sh
index 85dee20..532cb28 100644
--- a/config/thisroot.sh
+++ b/config/thisroot.sh
@@ -15,8 +15,8 @@ drop_from_path()
return 1
fi
- p=$1
- drop=$2
+ local p=$1
+ local drop=$2
newpath=`echo $p | sed -e "s;:${drop}:;:;g" \
-e "s;:${drop};;g" \