From 6d191879205aa36750e0ce33077b8ccaec7f4b18 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 29 Apr 2020 10:30:28 +0200
Subject: [PATCH] [makefile] run typecheck & lint by default

---
 ivette/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ivette/Makefile b/ivette/Makefile
index e13ab002344..4de47987040 100644
--- a/ivette/Makefile
+++ b/ivette/Makefile
@@ -8,7 +8,9 @@ DOME_API=./src/frama-c
 COPYRIGHT=CEA LIST / LSL
 # --------------------------------------------------------------------------
 
-.PHONY: app dev doc dist typecheck lint
+.PHONY: all app dev doc dist typecheck lint
+
+all: typecheck lint app
 
 app: dome-app
 dev: dome-dev
-- 
GitLab