Skip to content

Commit 755bba2

Browse files
authored
Update monolithic-linux.sh
1 parent 86c4f7f commit 755bba2

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

.ci/monolithic-linux.sh

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -72,6 +72,8 @@ start-group "ninja"
7272
# Targets are not escaped as they are passed as separate arguments.
7373
ninja -C "${BUILD_DIR}" -k 0 ${targets} |& tee ninja.log
7474

75+
ninja -C "${BUILD_DIR}" -k 0 install
76+
7577
if [[ "${runtime_targets}" != "" ]]; then
7678
start-group "ninja Runtimes"
7779

0 commit comments

Comments
 (0)