From edb198a0c11567c2cd30924fb661686c8fc24ac3 Mon Sep 17 00:00:00 2001 From: Iustin Pop <iustin@google.com> Date: Thu, 25 Feb 2010 13:49:37 +0100 Subject: [PATCH] Add a lint target that uses hlint --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index e7f497e00..887470692 100644 --- a/Makefile +++ b/Makefile @@ -95,4 +95,7 @@ endif tags: find -name '*.hs' | xargs hasktags -e +lint: + hlint -r -u . + .PHONY : all doc maintainer-clean clean dist check tags regen-version -- GitLab