From 120956b835e051c4b83dd854e112246d7d5be626 Mon Sep 17 00:00:00 2001 From: dehanj Date: Mon, 17 Jun 2024 14:27:45 +0200 Subject: [PATCH] CI: Enable linting in CI again. See #182. --- hw/application_fpga/Makefile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/hw/application_fpga/Makefile b/hw/application_fpga/Makefile index 5c405e8..322595f 100644 --- a/hw/application_fpga/Makefile +++ b/hw/application_fpga/Makefile @@ -202,9 +202,7 @@ lint: $(FPGA_SRC) $(VERILOG_SRCS) $(ICE40_SIM_CELLS) config.vlt $^ \ >lint_issues.txt 2>&1 \ && { rm -f lint_issues.txt; exit 0; } \ - || { cat lint_issues.txt; exit 0; } - echo "Non-zero exit temporarily removed, see issue 182." - #|| { cat lint_issues.txt; exit 1; } + || { cat lint_issues.txt; exit 1; } .PHONY: lint