File tree Expand file tree Collapse file tree 4 files changed +20
-0
lines changed Expand file tree Collapse file tree 4 files changed +20
-0
lines changed Original file line number Diff line number Diff line change @@ -22,6 +22,11 @@ while [ -n "$*" ]; do
22
22
shift
23
23
shift
24
24
;;
25
+ -isysroot | -iframeworkwithsysroot | -iwithsysroot | -framework )
26
+ # Unsupported options with arg
27
+ shift
28
+ shift
29
+ ;;
25
30
--prefix* )
26
31
# Supported options without arg
27
32
options=" $options $1 "
Original file line number Diff line number Diff line change @@ -15,6 +15,11 @@ while [ -n "$*" ]; do
15
15
shift
16
16
shift
17
17
;;
18
+ -isysroot | -iframeworkwithsysroot | -iwithsysroot | -framework )
19
+ # Unsupported options with arg
20
+ shift
21
+ shift
22
+ ;;
18
23
--prefix* )
19
24
# Supported options without arg
20
25
options=" $options $1 "
Original file line number Diff line number Diff line change @@ -17,6 +17,11 @@ while [ -n "$*" ]; do
17
17
shift
18
18
shift
19
19
;;
20
+ -isysroot | -iframeworkwithsysroot | -iwithsysroot | -framework )
21
+ # Unsupported options with arg
22
+ shift
23
+ shift
24
+ ;;
20
25
-I* | -i* | --prefix* )
21
26
# Supported options without arg
22
27
options=" $options $1 "
Original file line number Diff line number Diff line change @@ -10,6 +10,11 @@ while [ -n "$*" ]; do
10
10
shift
11
11
shift
12
12
;;
13
+ -isysroot | -iframeworkwithsysroot | -iwithsysroot | -framework )
14
+ # Unsupported options with arg
15
+ shift
16
+ shift
17
+ ;;
13
18
-I* | -i* | --prefix* )
14
19
# Supported options without arg
15
20
options=" $options $1 "
You can’t perform that action at this time.
0 commit comments