From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Tue, 26 Nov 2019 19:17:54 +0000 (+0100)
Subject: :wrench: Improve Makefile
X-Git-Tag: nightly~2076^2~3
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=487410fc8579f469afb9246387a2a5bf12215c75;p=gwion.git

:wrench: Improve Makefile
---

diff --git a/Makefile b/Makefile
index 87ef2ce8..410cc852 100644
--- a/Makefile
+++ b/Makefile
@@ -62,16 +62,16 @@ options-show:
 	@$(call _options)
 
 libgwion.a: ${lib_obj}
-	${AR} ${AR_OPT}
+	@${AR} ${AR_OPT}
 
 util/libgwion_util.a:
-	@make -C util
+	@+make -C util
 
 util: util/libgwion_util.a
 	@(info build util)
 
 astlib:
-	@make -s -C ast
+	@+make -s -C ast
 
 ast: ast/libgwion_ast.a
 	@(info build ast)