From 33a904425c563909996752c6c84b244328381709 Mon Sep 17 00:00:00 2001 From: Jakob Hellermann Date: Thu, 5 Nov 2020 10:17:42 +0100 Subject: [PATCH] make requested PR changes --- scripts/config.sh | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) mode change 100755 => 100644 scripts/config.sh diff --git a/scripts/config.sh b/scripts/config.sh old mode 100755 new mode 100644 index 8bb777ccfba..e0c722f7f1b --- a/scripts/config.sh +++ b/scripts/config.sh @@ -1,5 +1,3 @@ -#!/bin/bash - set -e unamestr=$(uname) @@ -53,8 +51,7 @@ if [[ $(uname) == 'Darwin' ]]; then export RUSTFLAGS="$RUSTFLAGS -Clink-arg=-undefined -Clink-arg=dynamic_lookup" fi -LD_LIBRARY_PATH="$dir:$(rustc --print sysroot)/lib:$dir/target/out:$dir/sysroot/lib/rustlib/$TARGET_TRIPLE/lib" -export LD_LIBRARY_PATH +export LD_LIBRARY_PATH="$dir:$(rustc --print sysroot)/lib:$dir/target/out:$dir/sysroot/lib/rustlib/$TARGET_TRIPLE/lib" export DYLD_LIBRARY_PATH=$LD_LIBRARY_PATH export CG_CLIF_DISPLAY_CG_TIME=1