diff options
author | 2020-12-16 19:27:39 +0100 | |
---|---|---|
committer | 2020-12-21 08:57:17 +0100 | |
commit | 036401cb3d2bc87c29324c4dd0ee801f5f565653 (patch) | |
tree | 2975a60625f20812c90e182ce55527ea30a07b22 | |
parent | 50d6c7cb77f6ed0e4441f535ddf34690392b92a8 (diff) | |
download | emacs.d-036401cb3d2bc87c29324c4dd0ee801f5f565653.tar.gz emacs.d-036401cb3d2bc87c29324c4dd0ee801f5f565653.tar.xz emacs.d-036401cb3d2bc87c29324c4dd0ee801f5f565653.zip |
Use specific code to update flycheck-grammalecte
-rwxr-xr-x | modes/check_git_status.sh | 34 |
1 files changed, 23 insertions, 11 deletions
diff --git a/modes/check_git_status.sh b/modes/check_git_status.sh index ddd6538..22d56f3 100755 --- a/modes/check_git_status.sh +++ b/modes/check_git_status.sh @@ -27,11 +27,17 @@ fi nettoyage() { echo "Nettoyage version précédente" - if [ "$MODULE" = "modes/org-mode" ]; then - make -C modes/org-mode cleanall - else - make -C $MODULE clean - fi + case "$MODULE" in + modes/org-mode) + make -C modes/org-mode cleanall + ;; + modes/flycheck-grammalecte) + make -C modes/flycheck-grammalecte uninstall + ;; + *) + make -C $MODULE clean + ;; + esac } checkout() { @@ -41,12 +47,18 @@ checkout() { compile() { echo "Compilation nouvelle version" - if [ "$MODULE" = "modes/org-mode" ]; then - make -C modes/org-mode compile - make -C modes/org-mode autoloads - else - make -C $MODULE -B - fi + case "$MODULE" in + modes/org-mode) + make -C modes/org-mode compile + make -C modes/org-mode autoloads + ;; + modes/flycheck-grammalecte) + make -C modes/flycheck-grammalecte -B flycheck-grammalecte.elc + ;; + *) + make -C $MODULE -B + ;; + esac } if [ $NEW_TAG != $CUR_TAG ]; then |