]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Update Makefile
authorJérémie Astor <fennecdjay@gmail.com>
Sun, 14 Mar 2021 17:29:24 +0000 (18:29 +0100)
committerJérémie Astor <fennecdjay@gmail.com>
Sun, 14 Mar 2021 17:29:24 +0000 (18:29 +0100)
Makefile

index 794f20f8067022c05da6b6d4435a39e9c9dd32f5..5b062a805989fe095a56609855302ec45bef62da 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -54,11 +54,12 @@ GWLIBS += util/libgwion_util.a ast/libprettyerr/libprettyerr.a util/libtermcolor
 _LDFLAGS = ${GWLIBS} ${LDFLAGS}
 
 all: options-show ${_GWLIBS} src/main.o
-       $(info link ${PRG})
+       @$(info link ${PRG})
        @${CC} src/main.o -o ${PRG} ${_LDFLAGS} ${LIBS}
 
 options-show:
        @$(call _options)
+       @$(info libs: ${GWLIBS})
 
 lib${PRG}.a: ${lib_obj}
        @${AR} ${AR_OPT}