diff options
| author | Miquel Sabaté Solà <mikisabate@gmail.com> | 2024-08-26 10:34:20 +0200 |
|---|---|---|
| committer | Miquel Sabaté Solà <mikisabate@gmail.com> | 2024-09-24 22:40:31 +0200 |
| commit | 052f73e4e5c7f6266bf80f392ac593046e2d8d2c (patch) | |
| tree | 1317d3e7297f3df7339e0f775b2213de240d0863 /Makefile | |
| parent | 4038ec5662a5b1ebe652e9170069e3f2f79c7e71 (diff) | |
| download | fbos-052f73e4e5c7f6266bf80f392ac593046e2d8d2c.tar.gz fbos-052f73e4e5c7f6266bf80f392ac593046e2d8d2c.zip | |
Add CI job
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>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -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 |