diff --git a/scripts/ci/build.sh b/scripts/ci/build.sh index de66b39d950..7bf813c5976 100755 --- a/scripts/ci/build.sh +++ b/scripts/ci/build.sh @@ -154,6 +154,7 @@ cat >>$testsrc_dir/setup.py <>$testsrc_dir/setup.py <