]> Nishi Git Mirror - gwion.git/commitdiff
:art: pPdate
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sat, 7 Dec 2019 11:07:51 +0000 (12:07 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sat, 7 Dec 2019 11:07:51 +0000 (12:07 +0100)
Makefile

index c71769a1d51bbbcaba4c40b893bc0dfd40280191..fc322b567d3a30cb55f371e6a4eabcac11452274 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -65,13 +65,13 @@ libgwion.a: ${lib_obj}
        @${AR} ${AR_OPT}
 
 util/libgwion_util.a:
-       @+make -C util
+       @+GWION_PACKAGE= make -s -C util
 
 util: util/libgwion_util.a
        @(info build util)
 
 astlib:
-       @+make -s -C ast
+       @+GWION_PACKAGE= make -s -C ast
 
 ast: ast/libgwion_ast.a
        @(info build ast)