From 207e405d3427b8df7e567a5b2dca734c3c715426 Mon Sep 17 00:00:00 2001 From: Ivar Fatland Date: Fri, 31 Jul 2026 00:04:57 +0200 Subject: [PATCH] add criterion headers to ctags generation for linux --- justfile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/justfile b/justfile index 28be195..5719c6e 100644 --- a/justfile +++ b/justfile @@ -51,6 +51,8 @@ build: DEPENDENCY_HEADERS := if os() == "macos" { "$(pkg-config --cflags-only-I criterion | sed 's/-I//g')" +} else if os() == "linux" { + "/usr/include/criterion/" } else { "TODO" }