From 8654d90d60224d3c92f3a3905d1331f9e00d608a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Wed, 15 Nov 2017 13:52:42 +0100 Subject: Add a lint command --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index 1580445..9242b80 100644 --- a/Makefile +++ b/Makefile @@ -35,6 +35,9 @@ all: | sed 's/^ERLANG_MK_VERSION =.*/ERLANG_MK_VERSION = $(ERLANG_MK_VERSION)/' \ | sed 's:^ERLANG_MK_WITHOUT =.*:ERLANG_MK_WITHOUT = $(WITHOUT):' > $(ERLANG_MK) +lint: all + $(MAKE) -f erlang.mk --warn-undefined-variables + ifdef p # Remove p from the list of variables since that conflicts with bootstrapping. MAKEOVERRIDES := $(filter-out p=$p,$(MAKEOVERRIDES)) -- cgit v1.2.3