From fe857ea7a97078da7b5f87409f55841f9b072c37 Mon Sep 17 00:00:00 2001 From: fennecdjay Date: Fri, 31 Mar 2023 14:58:54 +0200 Subject: [PATCH] :wrench: Update Makefile --- Makefile | 8 ++++---- plug | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) 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 -- 2.43.0