From 052f73e4e5c7f6266bf80f392ac593046e2d8d2c Mon Sep 17 00:00:00 2001
From: Miquel Sabaté Solà <mikisabate@gmail.com>
Date: Mon, 26 Aug 2024 10:34:20 +0200
Subject: Add CI job
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

This will ensure that the code style is preserved and that commits being
pushed at least build successfully.

Signed-off-by: Miquel Sabaté Solà <mikisabate@gmail.com>
---
 Makefile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index f969a1c..611ee48 100644
--- a/Makefile
+++ b/Makefile
@@ -17,8 +17,8 @@ endif
 # I did not go too much into the rabbit hole of platform-specific flags. Hence
 # no `-mcpu`, no `-mtune`, no funny business.
 
-CC   = $(CROSS_COMPILE)gcc
-LD   = $(CROSS_COMPILE)ld
+CC    = $(CROSS_COMPILE)gcc$(CC_SUFFIX)
+LD    = $(CROSS_COMPILE)ld
 QEMU ?= qemu-system-riscv64
 
 ISA        ?= rv64imafdc_zicntr_zicsr_zifencei_zihpm_zca_zcd_zba_zbb
@@ -88,3 +88,7 @@ gdb:
 .PHONY: clean
 clean:
 	$(Q) rm -f $(OBJ) $(KRNL) $(LINKER)
+
+.PHONY: lint
+lint:
+	$(Q) git ls-files *.c *.h | xargs clang-format --dry-run --Werror
-- 
cgit v1.2.3