From 9db898ceaf3f202895a942a29f31658898af1f93 Mon Sep 17 00:00:00 2001 From: Thomas Gazagnaire Date: Wed, 29 Mar 2017 19:28:42 +0200 Subject: [PATCH] miragesdk: enable all warnings when compiling the projects Signed-off-by: Thomas Gazagnaire --- projects/miragesdk/src/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/projects/miragesdk/src/Makefile b/projects/miragesdk/src/Makefile index bf42bb109..88a8bc1c2 100644 --- a/projects/miragesdk/src/Makefile +++ b/projects/miragesdk/src/Makefile @@ -70,13 +70,13 @@ clean:: .PHONY: test test: - jbuilder runtest + jbuilder runtest --dev dev-clean: rm -rf _build dhcp-client/calf/_build dev: cd dhcp-client/calf && mirage configure && make - jbuilder build dhcp-client/main.exe + jbuilder build dhcp-client/main.exe --dev .DELETE_ON_ERROR: