aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 163436d..ece80b3 100644
--- a/Makefile
+++ b/Makefile
@@ -88,9 +88,11 @@ xdg-open := $(shell command -v xdg-open 2> /dev/null)
.PHONY: docs
docs:
cmake --build '$(call escape,$(cmake_dir))' --target docs
+ifndef CI
ifdef xdg-open
xdg-open '$(call escape,$(cmake_dir))/html/index.html'
endif
+endif
clang-tidy := run-clang-tidy
ifeq (1,$(shell test -e /usr/share/clang/run-clang-tidy.py && echo 1))