From 4944ef1c7e047b84a51721e4ca8a32ef1e40c490 Mon Sep 17 00:00:00 2001 From: Sebastian Muraru Date: Thu, 17 Nov 2022 11:42:57 +0200 Subject: [PATCH] Update tool_kit.sh Hi, I guess this should be usr instead of user? --- tools/toolchain/scripts/tool_kit.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/toolchain/scripts/tool_kit.sh b/tools/toolchain/scripts/tool_kit.sh index 6921fe1122..b2bbf215fd 100644 --- a/tools/toolchain/scripts/tool_kit.sh +++ b/tools/toolchain/scripts/tool_kit.sh @@ -7,7 +7,7 @@ # by sourcing this file inside other scripts. SYS_INCLUDE_PATH=${SYS_INCLUDE_PATH:-"/usr/local/include:/usr/include"} -SYS_LIB_PATH=${SYS_LIB_PATH:-"/user/local/lib64:/usr/local/lib:/usr/lib64:/usr/lib:/lib64:/lib"} +SYS_LIB_PATH=${SYS_LIB_PATH:-"/usr/local/lib64:/usr/local/lib:/usr/lib64:/usr/lib:/lib64:/lib"} INCLUDE_PATHS=${INCLUDE_PATHS:-"CPATH SYS_INCLUDE_PATH"} LIB_PATHS=${LIB_PATHS:-"LIBRARY_PATH LD_LIBRARY_PATH LD_RUN_PATH SYS_LIB_PATH"} time_start=$(date +%s)