]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Improve Makefile
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 26 Nov 2019 19:17:54 +0000 (20:17 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 26 Nov 2019 19:17:54 +0000 (20:17 +0100)
Makefile

index 87ef2ce8e4ef4499ef045dedf7a144e16e865edf..410cc8522889bc46aa177f9a92fd4a6633d485c7 100644 (file)
--- 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)