diff options
-rwxr-xr-x | lib/make.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/make.sh b/lib/make.sh index 64377f65..d1389631 100755 --- a/lib/make.sh +++ b/lib/make.sh @@ -92,13 +92,15 @@ build_llvm() { # LLVM build with either cmake or ninja, ninja prefered if test x"${ninja}" = x -a x"${cmake}" != x; then -# cmake -Wno-dev --build ${srcdir}/$i cmake --build ${srcdir}/$i cmake -DCMAKE_INSTALL_PREFIX=${prefix} --target install ${srcdir}/$i else cmake -G Ninja ${srcdir}/$i ${default_configure_flags} ${ninja} ${ninja} install + if test x"${runtests}" != x; then + ${ninja} check-all + fi fi popd done |