aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 64c45fd..18b6f52 100644
--- a/Makefile
+++ b/Makefile
@@ -85,9 +85,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' &> /dev/null
endif
+endif
clang-tidy := run-clang-tidy
ifeq (1,$(shell test -e /usr/share/clang/run-clang-tidy.py && echo 1))