From b553af59c2261d71224b5d43c61609183cff80d3 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 fe72fbf..9bb6ef1 100644 --- a/justfile +++ b/justfile @@ -32,6 +32,8 @@ LDFLAGS := if os() == "macos" { } DEPENDENCY_HEADERS := if os() == "macos" { "$(pkg-config --cflags-only-I criterion | sed 's/-I//g')" +} else if os() == "linux" { + "/usr/include/criterion/" } else { "TODO: windows" }