Git-Mirrors/tillitis-key
1
0
Fork 0
mirror of https://github.com/tillitis/tillitis-key1.git synced 2024-10-01 01:45:38 -04:00
Code Issues Packages Projects Releases Wiki Activity

CI: Enable linting in CI again. See #182.

Browse Source
This commit is contained in:
dehanj 2024-06-17 14:27:45 +02:00
parent d502b59062
commit 120956b835
No known key found for this signature in database
GPG Key ID: 3707A9DBF4BB8F1A
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
hw/application_fpga/Makefile
View File

@ -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