chore: improve ci lint

2023-01-22 13:02:11 +01:00 · 2023-01-22 13:02:11 +01:00 · 16b78b8431
parent 0c673a2751
commit 16b78b8431
2 changed files with 5 additions and 1 deletions
--- 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]
--- a/4
+++ b/4
@ -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)