File tree 1 file changed +8
-2
lines changed
1 file changed +8
-2
lines changed Original file line number Diff line number Diff line change @@ -42,6 +42,7 @@ display_usage() {
42
42
echo " "
43
43
echo " Options:"
44
44
echo " -c/--enable-coverage Enable code coverage"
45
+ echo " -t/--enable-tests Enable tests"
45
46
echo " "
46
47
}
47
48
@@ -51,6 +52,7 @@ die() {
51
52
}
52
53
53
54
coverage=no
55
+ tests=no
54
56
55
57
while [ $# -ge 2 ]
56
58
do
59
61
coverage=yes
60
62
shift
61
63
;;
64
+ -t|--enable-tests)
65
+ tests=yes
66
+ shift
67
+ ;;
62
68
* )
63
69
echo " Error: Unknown option \" $1 \" "
64
70
display_usage
@@ -76,7 +82,7 @@ build_config=$1
76
82
77
83
configure_options=" \
78
84
--disable-docs \
79
- --disable -tests \
85
+ --enable -tests= $tests \
80
86
--enable-coverage=$coverage \
81
87
--enable-ftd \
82
88
--enable-ncp \
@@ -109,7 +115,7 @@ case ${build_config} in
109
115
--enable-radio-only \
110
116
--with-examples=posix \
111
117
--disable-docs \
112
- --disable- tests || die
118
+ --enable-tests= $ tests || die
113
119
make -j 8 || die
114
120
;;
115
121
You can’t perform that action at this time.
0 commit comments