commit 30e6658ae05ca30dd7ebc58e0b6fe4d50f9e0a4d
author YAMAMOTO Takashi <yamamoto@midokura.com> Mon May 04 21:46:03 2020 +0900
committer Xiang Xiao <xiaoxiang@xiaomi.com> Tue May 05 02:59:13 2020 +0800
tree e41a392c455900116e1a3c0ea66fb17d47c56189
parent 196ed084c10df9a74b75cebe5383d8e4f5961346

cibuild.sh: Create $prebuilt/env.sh

It aimed to be sourced by user shell to update PATH.

cibuild.sh

diff --git a/cibuild.sh b/cibuild.sh
index 508c43f..d766780 100755
--- a/cibuild.sh
+++ b/cibuild.sh
@@ -31,6 +31,7 @@
 tools=$WD/../tools
 prebuilt=$WD/../prebuilt
 os=$(uname -s)
+EXTRA_PATH=
 
 case $os in
   Darwin)
@@ -45,6 +46,7 @@
 
 function add_path {
   PATH=$1:$PATH
+  EXTRA_PATH=$1:$EXTRA_PATH
 }
 
 function python-tools {
@@ -281,6 +283,8 @@
     $func
   done
   popd
+
+  echo PATH=$EXTRA_PATH\$PATH > $prebuilt/env.sh
 }
 
 function run_builds {