From 16b78b8431362c479890c517095bf179b2d356d5 Mon Sep 17 00:00:00 2001
From: Jef Roosens <roosensjef@gmail.com>
Date: Sun, 22 Jan 2023 13:02:11 +0100
Subject: [PATCH] chore: improve ci lint

---
 .woodpecker/lint.yml | 2 +-
 Makefile             | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

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)