diff --git a/.woodpecker/lint.yml b/.woodpecker/lint.yml
index 70feabe..b9d2806 100644
--- a/.woodpecker/lint.yml
+++ b/.woodpecker/lint.yml
@@ -11,6 +11,6 @@ pipeline:
     pull: true
     commands:
       - make lint
-      - make CFLAGS='-Werror'
+      - make objs CFLAGS='-Werror -fsyntax-only'
     when:
       event: [push, pull_request]
diff --git a/Makefile b/Makefile
index f6ed2d9..4a26c17 100644
--- a/Makefile
+++ b/Makefile
@@ -33,6 +33,10 @@ all: vieter
 
 
 # =====COMPILATION=====
+# Utility used by the CI to lint
+.PHONY: objs
+objs: $(OBJS)
+
 .PHONY: vieter
 vieter: $(BUILD_DIR)/$(LIB_FILENAME)
 $(BUILD_DIR)/$(LIB_FILENAME): $(OBJS)