diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/make_tests.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/make_tests.sh b/scripts/make_tests.sh index 0fa1248be..79426756d 100755 --- a/scripts/make_tests.sh +++ b/scripts/make_tests.sh @@ -21,4 +21,5 @@ top_level=$(git rev-parse --show-toplevel 2>/dev/null) make make runsc +make BAZEL_OPTIONS="build //..." bazel make bazel-shutdown |