From a403e4ae516e3efff55941c3dbe05be10ddc1021 Mon Sep 17 00:00:00 2001 From: Jen-Chieh Shen Date: Thu, 28 Apr 2022 03:33:49 +0800 Subject: Disable checkdoc and lint for now --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 876ea22..9299917 100644 --- a/Makefile +++ b/Makefile @@ -15,7 +15,8 @@ DEPS = LOAD_PATH ?= $(addprefix -L ../,$(DEPS)) LOAD_PATH += -L . -ci: build compile checkdoc lint test +# TODO: add checkdoc and lint +ci: build compile checkdoc build: $(EASK) package -- cgit v1.2.3