]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Update Makefile
authorfennecdjay <fennecdjay@gmail.com>
Fri, 31 Mar 2023 12:58:54 +0000 (14:58 +0200)
committerfennecdjay <fennecdjay@gmail.com>
Fri, 31 Mar 2023 12:58:54 +0000 (14:58 +0200)
Makefile
plug

index d861d88cf90e994cfd2a04f82541220421b0fadd..4d7984794e882b3464efe87b9eb6b7aacde016d8 100644 (file)
--- 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 3410ba0416ba3d2c18305f5a0518541c8aa90626..4b0284473fba3856e45d6e97fb4cbe055f506a10 160000 (submodule)
--- a/plug
+++ b/plug
@@ -1 +1 @@
-Subproject commit 3410ba0416ba3d2c18305f5a0518541c8aa90626
+Subproject commit 4b0284473fba3856e45d6e97fb4cbe055f506a10