diff --git a/scripts/ci/build.sh b/scripts/ci/build.sh index 4181213368c..4902836bb02 100755 --- a/scripts/ci/build.sh +++ b/scripts/ci/build.sh @@ -155,6 +155,7 @@ cat >>$testsrc_dir/setup.py <