]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: make update
authorJérémie Astor <fennecdjay@gmail.com>
Sun, 9 Jan 2022 17:28:05 +0000 (18:28 +0100)
committerJérémie Astor <fennecdjay@gmail.com>
Sun, 9 Jan 2022 17:28:05 +0000 (18:28 +0100)
Makefile

index b89cc7a9bb169bb36faeacd74c405604ad7eb2a7..4d09c22dccab938a60496bcf827fcff6972bee67 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -123,9 +123,7 @@ clean-all: clean
                ${MAKE} -s -C util/libtermcolor clean
 
 update: clean-all
-       git pull
-       git submodule update --recursive --init
-       CFLAGS= ${MAKE}
+       bash scripts/update.sh
 
 clean: clean_core
        $(info cleaning ...)