walkero
/
harfbuzz
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[dev-run] minor

This commit is contained in:
Ebrahim Byagowi 2018-02-20 17:59:04 +03:30 committed by GitHub
parent 975c35214f
commit c7e834a2fc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/dev-run.sh
View File

@ -33,6 +33,6 @@ if [[ "$answer" = "y" ]]; then
if [[ $CMAKENINJA ]]; then if [[ $CMAKENINJA ]]; then
CTEST_OUTPUT_ON_FAILURE=1 CTEST_PARALLEL_LEVEL=5 ninja -Cbuild test CTEST_OUTPUT_ON_FAILURE=1 CTEST_PARALLEL_LEVEL=5 ninja -Cbuild test
else else
make -j5 check && .ci/fail.sh make -Cbuild -j5 check && .ci/fail.sh
fi fi
fi fi