]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Improve update.sh
authorJérémie Astor <fennecdjay@gmail.com>
Thu, 14 Apr 2022 23:25:51 +0000 (01:25 +0200)
committerJérémie Astor <fennecdjay@gmail.com>
Thu, 14 Apr 2022 23:25:51 +0000 (01:25 +0200)
scripts/update.sh

index e674a3a0c67228230cf96bdea622410e6d5f0835..d3bbfeb069b1bdf514dcfd0bbddbe11919d0cc77 100644 (file)
@@ -3,6 +3,7 @@ git pull
 git submodule update
 make clean-all
 make -j
+make -C plug clean
 make -C plug
 sudo make install
 for a in $(cat plug/list.txt)