File tree 1 file changed +27
-2
lines changed
1 file changed +27
-2
lines changed Original file line number Diff line number Diff line change 3
3
# set -x
4
4
set -e
5
5
6
+ codegen_channel=debug
7
+ sysroot_channel=debug
8
+
9
+ while [[ $# -gt 0 ]]; do
10
+ case $1 in
11
+ --release)
12
+ codegen_channel=release
13
+ shift
14
+ ;;
15
+ --release-sysroot)
16
+ sysroot_channel=release
17
+ shift
18
+ ;;
19
+ * )
20
+ echo " Unknown option $1 "
21
+ exit 1
22
+ ;;
23
+ esac
24
+ done
25
+
6
26
if [ -f ./gcc_path ]; then
7
27
export GCC_PATH=$( cat gcc_path)
8
28
else
@@ -21,7 +41,7 @@ if [[ "$1" == "--features" ]]; then
21
41
shift
22
42
fi
23
43
24
- if [[ " $1 " == " -- release" ]]; then
44
+ if [[ " $codegen_channel " == " release" ]]; then
25
45
export CHANNEL=' release'
26
46
CARGO_INCREMENTAL=1 cargo rustc --release $features
27
47
else
@@ -36,4 +56,9 @@ rm -r target/out || true
36
56
mkdir -p target/out/gccjit
37
57
38
58
echo " [BUILD] sysroot"
39
- time ./build_sysroot/build_sysroot.sh $CHANNEL
59
+ if [[ " $sysroot_channel " == " release" ]]; then
60
+ time ./build_sysroot/build_sysroot.sh --release
61
+ else
62
+ time ./build_sysroot/build_sysroot.sh
63
+ fi
64
+
You can’t perform that action at this time.
0 commit comments