From: fennecdjay <fennecdjay@gmail.com>
Date: Fri, 31 Mar 2023 12:58:54 +0000 (+0200)
Subject: :wrench: Update Makefile
X-Git-Tag: nightly~171
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=fe857ea7a97078da7b5f87409f55841f9b072c37;p=gwion.git

:wrench: Update Makefile
---

diff --git a/Makefile b/Makefile
index d861d88c..4d798479 100644
--- a/Makefile
+++ b/Makefile
@@ -88,10 +88,10 @@ options-show:
 	@$(info libs: ${GWLIBS})
 
 with_config:
-	bash scripts/embed.bash gwion.config.json
-	touch src/main.c touch src/arg.c
-	${MAKE} USE_CONFIG=1
-	touch src/main.c touch src/arg.c
+	@bash scripts/embed.bash gwion.config.json
+	@touch src/main.c src/arg.c
+	@${MAKE} USE_CONFIG=1
+	@touch src/main.c src/arg.c
 
 almost_gwion: ${almost_obj} ${ALMOST_LIBS}
 
diff --git a/plug b/plug
index 3410ba04..4b028447 160000
--- a/plug
+++ b/plug
@@ -1 +1 @@
-Subproject commit 3410ba0416ba3d2c18305f5a0518541c8aa90626
+Subproject commit 4b0284473fba3856e45d6e97fb4cbe055f506a10