From: Jérémie Astor Date: Sun, 14 Mar 2021 17:29:24 +0000 (+0100) Subject: :wrench: Update Makefile X-Git-Tag: nightly~857 X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=2f673c50910e1a1b5fadc524ca15fb4788a9601d;p=gwion.git :wrench: Update Makefile --- diff --git a/Makefile b/Makefile index 794f20f8..5b062a80 100644 --- 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}