Add --release-sysroot
flag to build.sh
When this flag is present, `build.sh` will pass `--release` to `build_sysroot.sh`.
This commit is contained in:
parent
72306608e0
commit
842a5fba1c
1 changed files with 10 additions and 1 deletions
11
build.sh
11
build.sh
|
@ -4,6 +4,7 @@
|
||||||
set -e
|
set -e
|
||||||
|
|
||||||
codegen_channel=debug
|
codegen_channel=debug
|
||||||
|
sysroot_channel=debug
|
||||||
|
|
||||||
while [[ $# -gt 0 ]]; do
|
while [[ $# -gt 0 ]]; do
|
||||||
case $1 in
|
case $1 in
|
||||||
|
@ -11,6 +12,10 @@ while [[ $# -gt 0 ]]; do
|
||||||
codegen_channel=release
|
codegen_channel=release
|
||||||
shift
|
shift
|
||||||
;;
|
;;
|
||||||
|
--release-sysroot)
|
||||||
|
sysroot_channel=release
|
||||||
|
shift
|
||||||
|
;;
|
||||||
*)
|
*)
|
||||||
echo "Unknown option $1"
|
echo "Unknown option $1"
|
||||||
exit 1
|
exit 1
|
||||||
|
@ -51,5 +56,9 @@ rm -r target/out || true
|
||||||
mkdir -p target/out/gccjit
|
mkdir -p target/out/gccjit
|
||||||
|
|
||||||
echo "[BUILD] sysroot"
|
echo "[BUILD] sysroot"
|
||||||
time ./build_sysroot/build_sysroot.sh $CHANNEL
|
if [[ "$sysroot_channel" == "release" ]]; then
|
||||||
|
time ./build_sysroot/build_sysroot.sh --release
|
||||||
|
else
|
||||||
|
time ./build_sysroot/build_sysroot.sh
|
||||||
|
fi
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue